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