On the Woodin Construction of Failure of GCH at a Measurable Cardinal
Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=κ$, $^κM\subseteq M$ and $κ^{++}=κ_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension in which $κ$ is measurable and GCH fails at it. This is done by using an Easton support iteration of Cohen forcings for blowing the power of every inaccessible $α\leqκ$ to $α^{++}$, and then adding another forcing on top of that. We show that it is enough to use the iterated forcing, and that the latter forcing is not needed. We will show this not only for the case where $κ^{++}=κ_{M}^{++}$, but for every successor ordinal $γ$, where $0< γ< κ$, we will show it when the assumption is $κ^{+γ}=κ_{M}^{+γ}$.
math.LO↗