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

Seminar for Mathematical Logic

 

PROGRAM


Predavanja možete pratiti i online putem MITEAM stranice Seminara iz matematičke logike:
https://miteam.mi.sanu.ac.rs/asset/YzAEvpbA8ZY8E34pu




Petak, 04.07.2025. u 16:15, Kneza Mihaila 36, sala 301f i Online
Obrad Kasum, Université Paris Cité
UNIVERZALNO BEROVI SKUPOVI
Univerzalno Berovi skupovi su jedan od centralnih pojmova savremene teorije skupova. Oni se nalaze u preseku oblasti forsing aksioma, generičke apsolutnosti i aksiome determinisanosti. U ovom predavanju ću pokušati da motivišem njihovu definiciju i da dam pregled nekih njihovih svojstava. Na kraju ću govoriti o primerima univerzalno Berovih skupova, gde ću pomenuti i jedan moj skorašnji rezultat sa Sarksjano.



Petak, 11.07.2025. u 14:15, Kneza Mihaila 36, sala 301f i Online
Justin Moore, Cornell University
TODORČEVIĆ'S ULTRAFILTER 𝒰(T)
Over two decades ago, Todorčević defined a uniform filter on ω1 for each coherent Aronszajn tree T. He has shown that, in the presence of the Proper Forcing Axiom, this filter 𝒰(T) is an ultrafilter. Moreover, he showed that under these assumptions, the isomorphism type of this ultrafilter does not depend on the Aronszajn tree and that it's projection to ω is a Ramsey ultrafilter. We extend this analysis by showing that under these assumptions, 𝒰(T) is on one hand minimal in the Rudin-Keisler order with respect to be uniform and on the other hand, maximal with respect to Tukey's order on directed sets. This is joint work with Tom Benhamou and Luke Serafin.
This research was supported by US NSF grant DMS-2451350.
Zajednicki sastanak sa Odeljenjem za matematiku.


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,
Predrag Tanovic
rukovodilac seminara