Square principles in Pmax extensions

Andrés Eduardo Caicedo, Paul Larson, Grigor Sargsyan +3

By forcing with ${\mathbb{P}}_{\max }$ over strong models of determinacy, we obtain models where different square principles at ${\omega }_2$ and ${\omega }_3$ fail. In particular, we obtain a mod…