Archives of: Logic Seminar in Turin

Dima Sinapova: Iterating Prikry Forcing

Monday, June 26th, 2017, 10.30-12.00

Aula Lagrange, Palazzo Campana, Università di Torino

Speaker: Dima Sinapova (University of Illinois at Chicago)

Title: Iterating Prikry Forcing


We will present an abstract approach of iterating Prikry type forcing. Then we will use it to show that it is consistent to have finite simultaneous stationary reflection at $\kappa^+$ with not SCH at $\kappa$. This extends a result of Assaf Sharon. Finally we will discuss how we can bring the construction down to $\aleph_{\omega}$. This is joint work with Assaf Rinot.