Seminar for Mathematical Logic

PROGRAM

Predavanja na Logičkom seminaru možete uživo pratiti preko linka
https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N
na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.

Petak, 01.09.2023. u 16:15, Kneza Mihaila 36, sala 301f i On-line
Siiri Kivimäki, Université Paris Cité and Universitz of Helsinki
ON SOME STRONG LOGICS
There are numerous ways to add expressive power to first order logic. For instance, one may enrich the syntax by allowing additional operations, or one may design an EF-game and derive a logic from it. Sometimes these stronger logics exhibit useful model-theoretic properties, such as a form of the compactness theorem. This talk will focus on recent developments in this subject. In particular, I will discuss the significant logic $L^1_\kappa$, which was discovered not too long ago by Shelah, and its syntactically defined approximation (joint work with A.Villaveces and J. Väänänen).

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic