Generic absoluteness for a model of determinacy

Speaker(s)

Jan Kostrzon

Affiliation

Doctoral School of Exact and Natural Sciences UW

Language of the talk

English

Date

April 2, 2025, 4:15 p.m.

Room

room 5050

Seminar

Topology and Set Theory Seminar

---

I will present some recent work focused on proving a strong generic absoluteness for a minimal model that satisfies the theory AD_R + 'All sets are Universally Baire'. Such model is an example of a stronger model of determinacy i.e not satisfying V=L(P(R)) and already had a recent application serving as a ground model for a forcing construction.
It is a side project joint with Grigor Sargsyan from IMPAN, related to analysis of HOD of this model.

---