Place: Fields Institute (Room 210)
Date: October 27, 2017 (13:30-15:00)
Speaker: Haim Horowitz
Title: Martin’s Maximum and the saturation of the nonstationary ideal
By a classical result of Foreman, Magidor and Shelah, MM implies that the nonstationary ideal on $\omega_1$ is $\aleph_2$-saturated. We shall prove that MM actually implies a stronger saturation property for the nonstationary ideal. As a corollary, we obtain a new proof of the fact that the continuum is $\aleph_2$ under MM.
This is joint work with Shimon Garti and Menachem Magidor