The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\) (Q1120570)

The author proves that if the existence of a measurable cardinal \(\kappa\) with \(o(\kappa)=\kappa^{++}\) is consistent, then it is consistent that there is an elementary embedding j: \(V\to M\), \(crit(j)=\kappa\), M closed under \(\kappa\)-sequences, and for some f: \(\kappa\) \(\to \kappa\), \(j(f)(\kappa)=\kappa^{++}\). With earlier results of Woodin, this gives that the consistency of a \(\kappa\) with \(o(\kappa)=\kappa^{++}\) implies the consistency of \(2^{\kappa}=\kappa^{++}\) for some measurable \(\kappa\), and also the consistency of \(2^{\aleph_{\omega}}=\aleph_{\omega +2}\) and \(\aleph_{\omega}\) strong limit. The first implication is actually equivalence.