Abstract
Under the assumption that δ is a Woodin cardinal and GCH holds, I show that if F is any class function from the regular cardinals to the cardinals such that (1) \({\kappa < {\rm cf}(F(\kappa))}\) , (2) \({\kappa < \lambda}\) implies \({F(\kappa) \leq F(\lambda)}\) , and (3) δ is closed under F, then there is a cofinality-preserving forcing extension in which 2γ = F(γ) for each regular cardinal γ < δ, and in which δ remains Woodin. Unlike the analogous results for supercompact cardinals [Menas in Trans Am Math Soc 223:61–91, (1976)] and strong cardinals [Friedman and Honzik in Ann Pure Appl Logic 154(3):191–208, (2008)], there is no requirement that the function F be locally definable. I deduce a global version of the above result: Assuming GCH, if F is a function satisfying (1) and (2) above, and C is a class of Woodin cardinals, each of which is closed under F, then there is a cofinality-preserving forcing extension in which 2γ = F(γ) for all regular cardinals γ and each cardinal in C remains Woodin.
Similar content being viewed by others
References
Apter A.W.: An Easton theorem for level-by-level equivalence. Math. Logic Q. 51(3), 247–253 (2005)
Cody, B., Gitman, V.: Easton’s theorem for Ramsey and strongly Ramsey cardinals. Submitted, (available at http://arxiv.org/abs/1209.1133)
Cody, B., Magidor, M. More on supercompactness and the continuum function. (In preparation)
Cody, B.: Some results on large cardinals and the continuum function. PhD thesis, The Graduate Center of the City University of New York, (available at http://arxiv.org/abs/1209.1136), 2012
Cummings J., Shelah S.: Cardinal invariants above the continuum. Ann. Pure Appl. Logic 75(3), 251–268 (1995)
Cummings J.: A model in which GCH holds at successors but fails at limits. Trans. Am. Math. Soc. 392(1), 1–39 (1992)
Cummings, J.: Iterated Forcing and Elementary Embeddings. In: Kanamori, A., Foreman, M. (eds.) Handbook of Set Theory, vol. 2, chap. 14, pp. 775–883. Springer, Berlin (2010)
Dobrinen N., Friedman S.-D.: Homogeneous iteration and measure one covering relative to HOD. Arch. Math. Logic 47(7–8), 711–718 (2008)
Easton W.B.: Powers of regular cardinals. Annals of Mathematical Logic 1, 139–178 (1970)
Friedman Sy-David, Honzik R.: Easton’s theorem and large cardinals. Ann. Pure Appl. Logic 154(3), 191–208 (2008)
Friedman S.-D., Thompson K.: Perfect trees and elementary embeddings. J. Symb. Logic 73(3), 906–918 (2008)
Hamkins J.D.: Canonical seeds and Prikry trees. J. Symb. Logic 62(2), 373–396 (1997)
Hamkins J.D., Woodin W.H.: Small forcing creates neither strong nor Woodin cardinals. Proceed. Am. Math. Soc. 128(10), 3025–3029 (2000)
Jech T.: Set Theory: The Third Millennium Edition, Revised and Expanded. Springer, Berlin (2003)
Kanamori A.: Perfect-set forcing for uncountable cardinals. Ann. Math. Logic 19(1–2), 97–114 (1980)
Kanamori A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. Springer, Berlin (2003)
Menas T.K.: Consistency results concerning supercompactness. Trans. Am. Math. Soc. 223, 61–91 (1976)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was carried out while the author was a student under the advisement of Joel David Hamkins. The author wishes to thank Professor Hamkins for his guidance, as well as for many helpful conversations regarding the topics contained in this paper. The author also wishes to thank Arthur Apter for his helpful comments regarding Lemma 14 below.
Rights and permissions
About this article
Cite this article
Cody, B. Easton’s theorem in the presence of Woodin cardinals. Arch. Math. Logic 52, 569–591 (2013). https://doi.org/10.1007/s00153-013-0332-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-013-0332-0