Abstract: We show that Vopenka's Principle and Vopenka cardinals are indestructible under reverse Easton forcing iterations of increasingly directed-closed partial orders, without the need for any preparatory forcing. As a consequence, we are able to prove the relative consistency of these large cardinal axioms with a variety of statements known to be independent of ZFC, such as the generalised continuum hypothesis, the existence of a definable well-order of the universe, and the existence of morasses at many cardinals.
Recommendations
- INDESTRUCTIBILITY AND THE LEVINSKI PROPERTY
- scientific article; zbMATH DE number 1442091
- An equiconsistency for universal indestructibility
- Superdestructibility: A dual to Laver's indestructibility
- Indestructibility of wholeness
- A Reduction in Consistency Strength for Universal Indestructibility
- Indestructibility, strongness, and level by level equivalence
- Indestructibility and stationary reflection
- Indestructible strong unfoldability
- A universal indestructibility theorem compatible with level by level equivalence
Cites work
- scientific article; zbMATH DE number 3650785 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1908324 (Why is no real title available?)
- scientific article; zbMATH DE number 1442091 (Why is no real title available?)
- scientific article; zbMATH DE number 5233908 (Why is no real title available?)
- scientific article; zbMATH DE number 3247160 (Why is no real title available?)
- An equiconsistency for universal indestructibility
- Double helix in large large cardinals and iteration of elementary embeddings
- Implications of large-cardinal principles in homotopical localization
- Indestructible strong unfoldability
- Indexed squares
- Iterated forcing and elementary embeddings
- Large cardinals and definable well-orders on the universe
- Large cardinals and gap-1 morasses
- Large cardinals and locally defined well-orders of the universe
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Measurable cardinals and the continuum hypothesis
- Morasses, diamond, and forcing
- On certain indestructibility of strong cardinals and a question of Hajnal
- Set theory. An introduction to independence proofs
- Simplified morasses
- Squares, scales and stationary reflection
- Strong Cardinals can be Fully Laver Indestructible
- Strong axioms of infinity and elementary embeddings
- Strongly unfoldable cardinals made indestructible
- The lottery preparation
- \(C ^{(n)}\)-cardinals
Cited in
(17)- Vopěnka's principle and compact logics
- Salce's problem on cotorsion pairs is undecidable
- Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
- Woodin for strong compactness cardinals
- Indestructibility and stationary reflection
- Definable orthogonality classes in accessible categories are small
- Maximum deconstructibility in module categories
- INDESTRUCTIBILITY AND THE LEVINSKI PROPERTY
- Consequences of Vopěnka's principle over weak set theories
- ON C(n)-EXTENDIBLE CARDINALS
- Axiom \(\mathcal{A}\) and supercompactness
- Model theoretic characterizations of large cardinals revisited
- On extendible cardinals and the GCH
- MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
- Superstrong and other large cardinals are never Laver indestructible
- Subcompact cardinals, squares, and stationary reflection
- Ultrahuge cardinals
This page was built for publication: Indestructibility of Vopěnka's principle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q634767)
