MISANU

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, 17.03.2023. u 14:15, sala 301f, Knez Mihajlova 36
Darji Udayan, University of Louisville
LOCAL ENTROPY AND DESCRIPTIVE COMPLEXITY
We investigate local entropy theory, particularly the properties of having uniform positive entropy and completely positive entropy, from a descriptive set-theoretic point of view. We show natural classes of dynamical systems which form Borel sets as well as coanalytic non-Borel sets. In particular, we show that the class of systems with uniform positive entropy and the class of systems with the shadowing property having completely positive entropy is Borel. Meanwhile, the class of mixing systems on a Cantor space is coanalytic but not Borel, and the class of systems on the interval and other orientable manifolds with CPE is coanalytic complete.
Zajednički sastanak sa Odeljenjem za matematiku.

PETAK, 31.03.2023. u 16:15, sala 301f, Knez Mihajlova 36
Ilijas Farah, York University, Toronto
ZASIĆENOST REDUKOVANIH PROIZVODA
Redukovani stepeni asocirani sa Frešeovim filterom su prebrojivo zasićeni (iliti $\aleph_1$-zasićeni). Zbog toga Hipoteza Kontinuuma implicira da redukovan stepen bilo koje prebrojive strukture ima $2^{2^{\aleph_0}}$ automorfizama, i da su dva takva stepena izomorfni ako su elementarno ekvivalentni. Sa druge strane, forsing aksiome impliciraju da neki redukovani stepeni imaju samo trivijalne automorfizme (na primer, redukovan stepen bilo koje konacne Bulove algebra) dok su neki zasićeni (nezavisno od skupovno-teoretskih aksioma) i imaju $2^{2^{\aleph_0}}$ automorfizama (na primer, redukovan stepen grupe Z/2Z).
Ovo sugeriše dva pitanja: Koje strukture imaju zasićen redukovan proizvod nezavisno od skupovno-teoretskih aksioma, a za koje forsing aksiome impliciraju da svi redukovani stepeni imaju samo trivijalne automorfizme?
U ovom predavanju cu dati kompletan odgovor na prvo pitanje i delimičan (iznenadjujući) odgovor na drugo. Ovo je zajednički rad sa B. de Bondtom, T. Ibarlucijom, B. Veličkovićem i A. Vignatijem.

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