Failures of square in Pmax extensions of Chang models

MaRDI QIDQ6366610zbMATH OpenFDO

Authors Paul Larson, Grigor Sargsyan

Publication date 1 May 2021

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We show that the statements $square(omeg{a}_3)$ and $square(omeg{a}_4)$ both fail in the $mathbb{P}_{mathrmmax}$ extension of a variation of the Chang model introduced by Sargsyan.

This page was built for publication: Failures of square in Pmax extensions of Chang models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6366610)