Power set at aleph_ω: On a theorem of Woodin
classification
🧮 math.LO
keywords
alephomegakappatherewoodinbelowcardinalexists
read the original abstract
We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and $2^{\aleph_\omega}=\aleph_{\omega+2}.$
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.