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

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}.$