Seminar for Mathematical Logic

PROGRAM

Plan rada Seminara za logiku za oktobar 2011.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u zimskom semestru 2009/2010.g. na novoj 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.

PETAK, 21.10.2011. U 16:15
Predrag Tanovic, Matematicki institut SANU
Minimalna polja

Abstract: Beskonacna struktura prvog reda je minimalna ako je svaki njen definabilan (sa parametrima) podskup ili konacan ili ko-konacan. Posledica teoreme Tarskog o eliminaciji kvantifikatora je da je svako algebarski zatvoreno polje minimalno. Hipoteza Podewskog iz 1973. tvrdi da su to jedina minimalna polja: Svako minimalno polje je algebarski zatvoreno. Frank Wagner je 2000. potvrdio hipotezu za slucaj polja pozitivne karakteristike, dok je u slucaju polja karakteristike 0 ona otvorena. Na predavanju ce biti izlozen nov pristup ovom problemu.

PETAK, 28.10.2011. U 16:15
Borisa Kuzeljevic, Matematicki institut SANU
Martinova aksioma

Abstract: Predavanje sadrzi definiciju i nekoliko osnovnih primena Martinove aksiome. Martinova aksioma je jedan od osnovnih kombinatornih principa teorije skupova koji je nezavisan od ZFC. Formulisali su je Donald Martin i Robert Solovay 1970. Odnosi se na beskonacne kardinale manje od kontinuuma i (informativno) tvrdi da se oni ponasaju kao $\aleph_0$. Zajednicki sastanak Seminara za logiku i Seminara za opstu teoriju dokaza.

OBAVESTENJA:

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



Beograd, 1. marta 2010.g.
Rukovodioci Seminara: Predrag Tanovic i Zoran Petric