A note on a question of Woodin

A question of Woodin from the 1980s asks, assuming there is no inner model of ZFC with a strong cardinal, if it is possible for there to be a model M of ZFC such that M ⊨ “2אω > אω+2 and 2אn = אn+1 for every n < ω”, together with the existence of an inner model N∗ ⊆ M of ZFC such that for the γ, δ satisfying γ = (אω) and δ = (אω+3)M,N∗ ⊨ “γ is measurable and 2γ ≥ δ”. We show that this is the case for a choiceless version of Woodin’s question, where we assume AC fails in M but holds in N∗. We also prove analogous results for אω1 and אω2 . The methods used allow for equiconsistencies in certain cases.

---

Opracowanie rekordu ze środków MNiSW, umowa nr SONP/SP/546092/2022 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2024)