PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

A note on a question of Woodin

Volume 71 / 2023

Arthur W. Apter Bulletin Polish Acad. Sci. Math. 71 (2023), 115-121 MSC: Primary 03E35; Secondary 03E25, 03E45, 03E55 DOI: 10.4064/ba230918-26-10 Published online: 30 November 2023


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 \vDash “2^{\aleph _\omega } \gt \aleph _{\omega + 2}$ and $2^{\aleph _n} = \aleph _{n + 1}$ for every $n \lt \omega $”, together with the existence of an inner model $N^* \subseteq M$ of ZFC such that for the $\gamma , \delta $ satisfying $\gamma = (\aleph _\omega )^M$ and $\delta = (\aleph _{\omega + 3})^M$, $N^* \vDash “\gamma $ is measurable and $2^\gamma \ge \delta $”. 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 $\aleph _{\omega _1}$ and $\aleph _{\omega _2}$. The methods used allow for equiconsistencies in certain cases.\looseness -1


Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image