Seminar for Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za OKTOBAR 2019.
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.
Petak 11.10.2019. u 16:45, Matematicki institut SANU, sala 301f
Ilijas Farah, York University, Canada
ULTRAPROIZVODI I ALGEBRE OPERATORA
Operacije uzimanja ultraproizvoda i ultrastepena se obichno povezuju sa logikom, mada su nezavisno otkrivene u kontekstu operatorskih algebri.
Ovo predavanje će da bude pregled ultraproizvoda i njihovih primena u logici, kombinatorici, sa posebnim osvrtom na njihovu ulogu u programu
klasifikacije C*-algebri. Prethodno predznanje logike ili algebri operatora nije neophodno za ovo predavanje.
Zajednicki sastanak sa Odeljenjem za matematiku
Petak 18.10.2019. u 14:15, Matematicki institut SANU, sala 301f
Slavko Moconja, Matematički fakultet, Beograd
RAMZEJEVA TEORIJA I TOPOLOŠKA DINAMIKA ZA TEORIJE PRVOG REDA
Na predavanju ćemo razmotriti nekoliko svojstava Remzijevog tipa za teorije prvog reda, kao i neke osobine Elisove i Kim-Pilajeve Galoaove grupe teorije koje ta svojstva povlače. Cilj predavanja nije da ulazimo u detalje, pokušaćemo da opišemo globalnu sliku, svi neophodni pojmovi biće definisani, i sem poznavanja neki osnovnih koncepata teorije modela, posebna predznanja nisu neophodna. Rezultati koje ćemo predstaviti su deo zajedničkog istraživanja sa Kšištofom Krupinjskim i Džungukom Lijem.
Zajednicki sastanak sa Odeljenjem za matematiku
Petak 18.10.2019. u 16:45, Matematicki institut SANU, sala 301f
Ilijas Farah, York University, Canada
ULTRAPROIZVODI I ALGEBRE OPERATORA (2)
Operacije uzimanja ultraproizvoda i ultrastepena se obichno povezuju sa logikom, mada su nezavisno otkrivene u kontekstu operatorskih algebri.
Ovo predavanje će da bude pregled ultraproizvoda i njihovih primena u logici, kombinatorici, sa posebnim osvrtom na njihovu ulogu u programu
klasifikacije C*-algebri. Prethodno predznanje logike ili algebri operatora nije neophodno za ovo predavanje.
Zajednicki sastanak sa Odeljenjem za matematiku
Petak 25.10.2019. u 16:45, Matematicki institut SANU, sala 301f
Ilijas Farah, York University, Canada
ULTRAPROIZVODI I ALGEBRE OPERATORA (3)
Operacije uzimanja ultraproizvoda i ultrastepena se obichno povezuju sa logikom, mada su nezavisno otkrivene u kontekstu operatorskih algebri.
Ovo predavanje će da bude pregled ultraproizvoda i njihovih primena u logici, kombinatorici, sa posebnim osvrtom na njihovu ulogu u programu
klasifikacije C*-algebri. Prethodno predznanje logike ili algebri operatora nije neophodno za ovo predavanje.
Zajednicki sastanak sa Odeljenjem za matematiku
OBAVESTENJA:
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