Seminar for Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za JUN 2022.
Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.
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.06.2022. u 16:15, sala 301f, Knez Mihajlova 36 i On-line
Boris Šobot, PMF Novi Sad
DELJIVOST ULTRAFILTERA
Sa betaN označavamo skup ultrafiltera na skupu prirodnih brojeva N. Po uzoru na standardne ekstenzije funkcija iz N na betaN, definišemo ekstenziju relacije deljivosti na ultrafiltere. Time se dobija kvaziuređenje koje je podeljeno na dva dela. "Donji" deo se ponaša veoma pravilno, slično poretku relacije deljivosti: svaki ultrafilter u njemu može se (u nekom smislu) rastaviti na proste činioce. "Gornji" deo je znatno složeniji, ne može se podeliti na nivoe i, recimo, sadrži kopiju uređenja realnih brojeva. Pored topoloških metoda i algebre na ultrafilterima, da bismo dobili rezultate o njihovoj deljivosti koristimo i metode nestandardne analize, koji će biti ukratko uvedeni tokom predavanja.
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