Seminář z algebry a geometrie

Miroslav KUREŠ
Program na podzimní semestr 2019/2020
Seminář z algebry a geometrie
  • 8. 10. 2019
    Michael Joseph Lieberman, Ph.D.
    Model theory and accessible categories
    We give a general introduction to the field of model theory—classically conceived, a field which reduces mathematical objects to syntactic descriptions, then uses the powerful tools of first order logic to analyse their structure.  We notice that first order logic is not adequate for many mathematical purposes (e.g. it cannot adequately capture complex exponentiation), which forces a move first toward generalized (infinitary) logics, then to abstract model theory.  The latter field is a unifying theory of classes of mathematical structures that better connects with (a) actual mathematical practice, and (b) accessible categories, a notion found in every corner of mathematics.
    This connection between model theory and category theory (and, ultimately, set theory) is currently driving a great deal of research, including by myself, Rosický, and Vasey.

  • 22. 10. 2019
    Mgr. Ivan di Liberti (Masarykova univerzita)
    TBA

Program bude upřesňován. Předpokládáme další dva nebo tři příspěvky z teorie kategorií.

Seminář probíhá obvykle v úterý od 10:00 v seminární místnosti A1/1842 Ústavu matematiky FSI VUT, Technická 2, Brno. Dle zájmu budou vkládány další přednášky do volných termínů. Předpokládaná délka semináře je 60-90 minut.

Pasování prváků

středa 9. 10. 2019 od 20:00 v Padagali, Kotlářská 51a
Autorem článku je Jana HODEROVÁ
ZOBRAZIT VÍCE