Failures of square in Pmax extensions of Chang models
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2021
- DOI:
- 10.48550/arXiv.2105.00322
- arXiv:
- arXiv:2105.00322
- Bibcode:
- 2021arXiv210500322L
- Keywords:
-
- Mathematics - Logic;
- 03E45