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}}_{\max }$ extension of a variation of the Chang model introduced by Sargsyan.