• 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.