Seminarium skupia się na bardziej zaawansowanych tematach skończonej i algorytmicznej teorii modeli. Skierowane jest do słuchaczy przedmiotów ,,Introduction to Finite and Algorithmic Model Theory'' lub/oraz ,,Problemy decyzyjne w logice'', ale mogą w nim też wziąć osoby zainteresowane logiką, które we własnym zakresie nadrobią podstawowe pojęcia (gry Erenfauhta Fraisego, (nie)rozstrzygalność logiki pierwszego rzędu).
Chciałbym pokryć niektóre z poniższych tematów (i nie tylko):
(1) Sucessor-invariant FO jest mocniejsze niż FO (Rossman)
(2) Order-invariant FO jest lokalne w sensie Gaifmana (Grohe i Shwentick)
(3) Gry E-F na losowych strukturach
(4) Logiki z punktami stałymi i liczeniem jako kandydat na logikę dla P.
(5) Choiceless Polynomial Time jako kandydat dla logikę dla P.
(6) Bijektywne gry w k-kamienie (czyli growa charakteryzacja siły wyrazu dla FOk z kwantyfikatorami zliczającymi) oraz związki z algorytmem Weisfeiler-Leman i problemem izomorfizmu grafów.
**Termin i tryb seminarium:**
Termin seminarium zostanie ustalony podczas pierwszego spotkania. Będzie to poniedziałek lub piątek
