Power set at $\aleph_ω$: On a theorem of Woodin

We give Woodin's original proof that if there exists a $(κ+2)-$strong cardinal $κ,$ then there is a generic extension of the universe in which $κ=\aleph_ω,$ $GCH$ holds below $\aleph_ω$ and $2^{\aleph_ω}=\aleph_{ω+2}.$

No reviews yet.

No comments yet.