Skip to main content
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).
Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.