Generic absoluteness for a model of determinacy

Prelegent(ci)

Jan Kostrzon

Afiliacja

Doctoral School of Exact and Natural Sciences UW

Język referatu

angielski

Termin

2 kwietnia 2025 16:15

Pokój

p. 5050

Seminarium

Seminarium „Topologia i teoria mnogości”

---

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.

---