Seminar for Mathematical Logic

 

PROGRAM

---

Plan rada Seminara za logiku za JUN 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 07.06.2019. u 14:15, Matematicki institut SANU, sala 301f
Miloš Kurilić, Departman za matematiku i informatiku, PMF u Novom Sadu
VOTOVA PRETPOSTAVKA (VAUGHT'S CONJECTURE) ZA AC TEORIJE
Fundamentalan doprinos Rolanda Fraisse-a teoriji struktura obuhvata, izmedju ostalog, uočavanje AC (almost chainable) struktura i ispitivanje njihovih osobina. Relacijska struktura ${\mathbb Y}$ je AC akko postoje konacan podskup $F$ njenog domena i linearno uredjenje na njegovom komplementu, takvi da svaki parcijalni automorfizam ovog linearnog uredjenja proširen identičkim preslikavanjem skupa $F$ predstavlja parcijalni automorfizam strukture ${\mathbb Y}$ (akko, za konačne jezike, ${\mathbb Y}$ ima ograničen profil; to jest, postoji prirodan broj $m$ takav da za svaki prirodan broj $n$ struktura ${\mathbb Y}$ ima najviše $m$ neizomorfnih podstruktura veličine $n$).
Kompletnu teoriju $T$ sa beskonačnim modelima zvaćemo AC teorijom akko su svi njeni modeli AC. Pokazujemo da teorija ima ovu osobinu akko ima bar jedan prebrojiv AC model, te da tada $T$ ima ili jedan ili kontinuum-mnogo neizomorfnih prebrojivih modela. Dakle, Votova pretpostavka (Vaught's conjecture) je tačna za svaku AC teoriju.
Zajednicki sastanak sa Odeljenjem za matematiku

---

Petak 14.06.2019. u 16:15, Matematicki institut SANU, sala 301f
Slobodan Vujošević, PMF Podgorica
RAČUN I MIŠLJENJE
Biće izložena ključna stanovišta filozofije matematike o odnosu mišljenja i računanja: Gedelova dihotomija i Penrouzov argument. Taj odnos biće sagledan i u svetlu ”dokaza Čerčove teze” u predikatskoj logici prvog reda.

---

Petak 21.06.2019. u 16:15, Matematicki institut SANU, sala 301f
Mladen Zekic, MI SANU
AKS-GROTENDIKOVA TEOREMA
Aleksandar Grotendik i Džejms Aks su 60-tih godina XX vijeka dokazali da svako injektivno polinomijalno preslikavanje iz n-dimenzionalnog kompleksnog prostora u samog sebe mora biti i surjektivno. Izložićemo dokaz ove teoreme koristeći tehnike teorije modela. Suštinski, glavna komponenta dokaza je potpunost teorije algebarski zatvorenih polja karakteristike p.

---

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

---