Seminar for Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za mart 2014.
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, 7.3.2014. U 16:15 (MI SANU, 301f)
Slavko Moconja, Matematicki fakultet Beograd
EHRENFEUCHT-OVE GRUPE
Sazetak: Za kompletnu teoriju prvog reda kazemo da je Ehrenfeucht-ova ako ima vise od jednog, ali samo konacno mnogo neizomorfnih prebrojivih modela. Vaught je dokazao: ako teorija ima bar dva neizomorfna prebrojiva modela, onda mora imati i treci, dok je Ehrenfeucht prvi konstruisao primer teorije koja ima tri neizomorfna prebrojivih modela. Ne postoji mnogo sustinski razlicitih Ehrenfeucht-ovih teorija, i nijedan poznati primer nije zasnovan na nekoj algebarskoj strukturi. Na predavanju ce biti predstavljena jedna konstrukcija Abelove grupe (sa dodatnom strukturom) cija je teorija Ehrenfeucht-ova. Zajednicki rad sa Dejanom Ilicem i Predragom Tanovicem.
Petak, 14.3.2014. U 16:15 (MI SANU, 301f)
Maja Roslavcev, Matematicki fakultet Beograd
UNIVERZALNI OBJEKTI U TEORIJI KATEGORIJA
Sazetak: Bice predstavljen pregled univerzalnih objekata sa primerima, kao i Jonedina lema.
PETAK, 21.3.2014. U 16:15 (MI SANU, 301f)
Marko Radovanovic, Matematicki fakultet, Beograd
KONACNO GENERISANE GRUPE
apstrakt: Na ovom predavanju dacemo pregled osnovnih osobina konacno generisanih grupa. Posebno cemo razmotriti problem reci za grupe i Novikov-Boone-ovu teoremu.
OBAVESTENJA:
Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: zpetric@mi.sanu.ac.rs ili tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs
Beograd,
Srdacan pozdrav,
rukovodioci seminara Zoran Petric i Predrag Tanovic