The Cofinal Strong Chang Conjecture from Models of Determinacy
In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a modification of the proof implies that such extensions actually verify the stronger cofinal version of the conjecture. This stronger version has important consequences on the semi-properness of small forcing, allowing us to prove the consistency of the theory "ZFC + Namba forcing is semiproper + $Θ^{UB}=ω_3$". We then use the constructions of this proof to also…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.28492
curl -X POST /api/v1/records/arxiv/2605.28492/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.28492/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'