Killing the GCH everywhere with a single real (Q2869902)

The main three results of the paper read as follows:NEWLINENEWLINENEWLINE(A) Assuming the consistency of an \(H(\kappa^{+3})\)-strong cardinal \(\kappa\), there exists a pair \((W, V)\) of models of ZFC such that {\parindent=0.7cm \begin{itemize}\item[(a)] \(W\) satisfies GCH, \item[(b)] \(W\) and \(V\) have the same cardinals, \item[(c)] \(V = W[r]\) for some real \(r\), and \item[(d)] in \(V\), GCH fails at each infinite cardinal. NEWLINENEWLINE\end{itemize}}NEWLINENEWLINENEWLINE(B) Let \(M\) be a model of ZFC + GCH + there exists a proper class of measurable cardinals. In \(M\), let \(F\) be a definable, nondecreasing class function from the class of regular infinite cardinals to the class of infinite cardinals such that \(\mathrm{cf}(F(\nu)) > \nu\) for every regular infinite cardinal \(\nu\). Then, there exists a pair \((W, V)\) of cardinal preserving extensions of \(M\) such that {\parindent=0.7cm \begin{itemize}\item[(a)] \(W\) satisfies GCH, \item[(b)] \(V = W[r]\) for some real \(r\), and \item[(c)] in \(V\), \(2^\nu \geq F(\nu)\) for each regular infinite cardinal \(\nu\). NEWLINENEWLINE\end{itemize}}NEWLINENEWLINE(C) Suppose that GCH holds and \(\kappa\) is a measurable cardinal of Mitchell order \(\kappa^{++} + \kappa^+\). Then, there exists a cardinal preserving extension of the universe in which \(\kappa\) remains inaccessible and \(2^\nu > \nu^+\) for each infinite cardinal \(\nu \leq \kappa\).