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, 07.10.2022. u 16:15, sala 301f, Knez Mihajlova 36
Nedeljko Stefanović, Beograd
PRINCIP O PARTICIONISANJU PROIZVODA POLJSKIH PROSTORA
Forsingom je dokazano da je sledeće saglasno sa ZFC: Za ma koje kompletne, separabilne metričke prostore $P_1,\dots,P_d$ i ma koje bojenje $f$ proizvoda $P_1\times\cdots\times P_d$ u $\kappa$ mnogo boja postoje negde gusti skupovi $D_1,\dots,D_d$ u prostorima $P_1,\dots,P_d$, takvi da je funkcija $f$ konstantna na proizvodu $D_1\times\cdots\times D_d$. Pritom, kardinal $\kappa$ može biti kardinal nalik na $\aleph_{10}$ ili $\aleph_{\omega_{\omega_5}}$. Takođe, pokazuje se kako se forsing može koristiti za dokazivanje teorema (da je neka rečenica logička posledica ZFC aksioma), a ne samo za relativnu konzistentnost.
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