Easton's theorem in the presence of Woodin cardinals (Q365667)

The following is established: Suppose that GCH holds, \(C\) is a class of Woodin cardinals (respectively, a set consisting of a unique Woodin cardinal \(\delta\)), and \(F\) is a class function from the regular cardinals to the cardinals such that (1) \(\kappa < \) cf\((F(\kappa))\) for any regular cardinal \(\kappa\), (2) \(F(\kappa) \leq F(\lambda)\) for any two regular cardinals \(\kappa < \lambda\), and (3) each element of \(C\) is closed under \(F\). Then there is a cofinality-preserving forcing extension in which \(2^\gamma = F(\gamma)\) for each regular cardinal \(\gamma\) (respectively, for each regular cardinal \(\gamma < \delta\)), and each cardinal in \(C\) remains Woodin.