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.
Forcing with end-extendible virtual models
12.12.2023 15:00 - 16:30
Organiser:
KGRC
Location: