ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za MART 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 08.03.2019. U 14:15, Matematicki institut SANU, sala 301f
Bojana Laskovic, Matematicki fakultet Beograd
STONE WEIERSTRASS TEOREMA I POTPUN SISTEM VEZNIKA
Na predavanju ce biti reci o par osnovnih pojmova teorije modela metrickih struktura (tzv. neprekidne logike). Bice dokazana varijanta Stone Weierstrass teoreme i primenjena na pronalazenje potpunih sistema veznika.



Petak 15.03.2019. U 14:15, Matematicki institut SANU, sala 301f
Borisa Kuzeljevic, PMF Novi Sad
GALVINOVA HIPOTEZA
Predavanje će biti pregledno. Predstavićemo jedan problem teorije uredjenih skupova, Galvinovu hipotezu: da li je konzistentno da se parcijalno uredjenje može napisati kao unija prebrojivo mnogo lanaca ako i samo ako se svako poduredjenje najmanje neprebrojive kardinalnosti može napisati kao unija prebrojivo mnogo lanaca. Galvinova hipoteza je analog Dilworthove teoreme koja tvrdi da se za prirodan broj k, parcijalno uredjenje može napisati kao unija k mnogo lanaca ako i samo ako se svako poduredjenje kardinalnosti k+1 može napisati kao unija k mnogo lanaca. Ističemo dva relevantna rezultata. Todorčević je 1983. pokazao da je Radoova hipoteza konzistenta, do na konzistenciju superkompaktnog kardinala (Radoova hipoteza je ekvivalentna Galvinovoj hipotezi za konačno dimenziona parcijalna uredjenja). Harrington, Marker i Shelah su 1988. pokazali da je Galvinova hipoteza tačna za Borelova parcijalna uredjenja na Poljskim prostorima.


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