{"id":"arxiv/2605.28492","url":"https://arxiv.org/abs/2605.28492","tags":["math.LO"],"score":0,"title":"The Cofinal Strong Chang Conjecture from Models of Determinacy","domain":"math.LO","source":"arxiv","authors":["Corentin Lagadec"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-27","reactions":{}}