arXiv:2105.00322 [math.LO]AbstractReferencesReviewsResources
Failures of square in Pmax extensions of Chang models
Paul B. Larson, Grigor Sargsyan
Published 2021-05-01Version 1
We show that the statements $\square(\omega_{3})$ and $\square(\omega_{4})$ both fail in the $\mathbb{P}_{\mathrm{max}}$ extension of a variation of the Chang model introduced by Sargsyan.
Related articles: Most relevant | Search more
arXiv:2210.16359 [math.LO] (Published 2022-10-28)
Forcing More DC Over the Chang Model Using the Thorn Sequence
arXiv:1705.00208 [math.LO] (Published 2017-04-29)
The sharp for the Chang model is small
Square principles in Pmax extensions