Forcing with end-extendible virtual models

Set Theory Seminar | 12.12.2023 15:00 - 16:30

D. Asperó (U of East Anglia, Norwich, UK)

We address the problem of obtaining the saturation of the nonstationary ideal on \(\omega_2\) restricted to cofinality \(\omega_1\) by forcing with side conditions consisting of virtual models with generators. This is joint work with Boban Velickovic.