Seminar for Mathematical Logic

PROGRAM

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, 23.12.2022. u 16:15, sala 301f, Knez Mihajlova 36
Predrag Tanovic, MI SANU
VOTOVA HIPOTEZA ZA TEORIJE DISKRETNO UREDJENIH STRUKTURA
Linearno uredjenje je diskretno ako svaki element, osim najmanjeg ukoliko takav postoji, ima neposrednog sledbenikai svaki element, osim najveceg ukoliko postoji, ima neposrednog prethodnika. Primeri su uredjenji celi i prirodni brojevi. Diskretno uredjene strukture su one koje se mogu dobiti dodavanjem (ma kakvih) relacija i funkcija diskretnom uredjenju. Originalna Votova hipoteza tvrdi da svaka potpuna prebrojiva teorija prvog reda ima ili najvise prebrojivo mnogo, ili kontinuum neizomorfnih prebrojivih modela. Na predavanju cu s­kicirati tri dokaza za slucaj kada je $T$ potpuna teorija diskretno uredjenih struktura. Iz jednog od dokaza, zasnovanom na radu Dejana Ilica, se prirodno namece pitanje maksimalnosti Borelove slozenosti relacije izomorfizma prebrojivih modela teorije $T$:
Pitanje. Da li je $T$ Borelovski potpuna?
Odgovor na ovo pitanje nije poznat.

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