More on the preservation of large cardinals under class forcing

Journal of Symbolic Logic:1-34 (forthcoming)
  Copy   BIBTEX

Abstract

We prove two general results about the preservation of extendible and $C^{}$ -extendible cardinals under a wide class of forcing iterations. As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{}$ -extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{}$ -extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$ -definable behaviour of the power-set function on regular cardinals. We show that one can force proper class-many disagreements between the universe and HOD with respect to the calculation of successors of regular cardinals, while preserving $C^{}$ -extendible cardinals. We also show, assuming the GCH, that the class forcing iteration of Cummings–Foreman–Magidor for forcing $\diamondsuit _{\kappa ^+}^+$ at every $\kappa $ [10] preserves $C^{}$ -extendible cardinals. We give an optimal result on the consistency of weak square principles and $C^{}$ -extendible cardinals. In the last section prove another preservation result for $C^{}$ -extendible cardinals under very general class forcing iterations. As applications we prove the consistency of $C^{}$ -extendible cardinals with $\mathrm {{V}}=\mathrm {{HOD}}$, and also with $\mathrm {GA}$ plus $\mathrm {V}\neq \mathrm {HOD}$, the latter being a strengthening of a result from [14].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,569

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Solovay Models and Forcing Extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Distributive Proper Forcing Axiom and Cardinal Invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
On Extendible Cardinals and the GCH.Konstantinos Tsaprounis - 2013 - Archive for Mathematical Logic 52 (5-6):593-602.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Destruction or Preservation as You Like It.Joel David Hamkins - 1998 - Annals of Pure and Applied Logic 91 (2-3):191-229.
Elementary Chains and C (N)-Cardinals.Konstantinos Tsaprounis - 2014 - Archive for Mathematical Logic 53 (1-2):89-118.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Strongly Unfoldable Cardinals Made Indestructible.Thomas A. Johnstone - 2008 - Journal of Symbolic Logic 73 (4):1215-1248.
Chains of End Elementary Extensions of Models of Set Theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
Proper Forcing Extensions and Solovay Models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.

Analytics

Added to PP
2022-09-15

Downloads
5 (#1,160,537)

6 months
5 (#144,440)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Suitable Extender Models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.

View all 18 references / Add more references