Square principles in ℙmax extensions

Abstract

By forcing with Pmax over strong models of determinacy, we obtain models where different square principles at ω2 and ω3 fail. In particular, we obtain a model of 2ℵ0=2ℵ1=ℵ2+¬◻(ω2)+¬◻(ω3).