Archive for Mathematical Logic 52 (5-6):569-591 (2013)
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
|
Keywords | Woodin cardinals Continuum function Easton’s theorem |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s00153-013-0332-0 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Cardinal Invariants Above the Continuum.James Cummings & Saharon Shelah - 1995 - Annals of Pure and Applied Logic 75 (3):251-268.
Perfect-Set Forcing for Uncountable Cardinals.Akihiro Kanamori - 1980 - Annals of Mathematical Logic 19 (1-2):97-114.
View all 11 references / Add more references
Citations of this work BETA
Large Cardinals Need Not Be Large in HOD.Yong Cheng, Sy-David Friedman & Joel David Hamkins - 2015 - Annals of Pure and Applied Logic 166 (11):1186-1198.
Easton's Theorem for the Tree Property Below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.
Woodin for Strong Compactness Cardinals.Stamatis Dimopoulos - 2019 - Journal of Symbolic Logic 84 (1):301-319.
An Easton Like Theorem in the Presence of Shelah Cardinals.Mohammad Golshani - 2017 - Archive for Mathematical Logic 56 (3-4):273-287.
Similar books and articles
Identity Crises and Strong Compactness III: Woodin Cardinals. [REVIEW]Arthur W. Apter & Grigor Sargsyan - 2006 - Archive for Mathematical Logic 45 (3):307-322.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Regular Embeddings of the Stationary Tower and Woodin's Σ 2 2 Maximality Theorem.Richard Ketchersid, Paul B. Larson & Jindřich Zapletal - 2010 - Journal of Symbolic Logic 75 (2):711-727.
Elementary Chains and C (N)-Cardinals.Konstantinos Tsaprounis - 2014 - Archive for Mathematical Logic 53 (1-2):89-118.
Core Models in the Presence of Woodin Cardinals.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (4):1145 - 1154.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Consecutive Singular Cardinals and the Continuum Function.Arthur W. Apter & Brent Cody - 2013 - Notre Dame Journal of Formal Logic 54 (2):125-136.
Theorem 1 (Easton's Theorem). There is a Forcing Extension L [G] of L in Which GCH Fails at Every Regular Cardinal. Assume That the Universe V of All Sets is Rich in the Sense That It Contains Inner Models with Large Cardinals. Then What is the Relationship Between Easton's Model L [G] and V? In Particular, Are These Models Compatible. [REVIEW]Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4).
The Cofinality Spectrum of the Infinite Symmetric Group.Saharon Shelah & Simon Thomas - 1997 - Journal of Symbolic Logic 62 (3):902-916.
Strong Tree Properties for Small Cardinals.Laura Fontanella - 2013 - Journal of Symbolic Logic 78 (1):317-333.
Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
Extender Based Forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.
The Self-Iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Analytics
Added to PP index
2013-11-23
Total views
28 ( #410,740 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
2013-11-23
Total views
28 ( #410,740 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
How can I increase my downloads?
Downloads