Iteration, reflection, and Prikry forcing.
Speaker:
Dima Sinapova
Date and Time:
Friday, May 8, 2020 - 1:30pm to 3:30pm
Location:
Online
Abstract:
There is an inherent tension between stationary reflection and the failure of SCH. The former is a compactness type principle that follows from large cardinals. The latter is an instance of incompactness, and usually obtained using Prikry forcing. We describe a Prikry style iteration, and use it to force stationary reflection in the presence of not SCH. Then we discuss the situation at smaller cardinals. This is joint work with Alejandro Poveda and Assaf Rinot.