Extensions with the approximation and cover properties have no new large cardinals
From MaRDI portal
Publication:4811323
DOI10.4064/FM180-3-4zbMATH Open1066.03052arXivmath/0307229OpenAlexW1988896484MaRDI QIDQ4811323FDOQ4811323
Authors: Joel David Hamkins 
Publication date: 19 August 2004
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Abstract: If an extension Vbar of V satisfies the delta approximation and cover properties for classes and V is a class in Vbar, then every suitably closed embedding j:Vbar to Nbar in Vbar with critical point above delta restricts to an embedding j|V:V to N amenable to the ground model V. In such extensions, therefore, there are no new large cardinals above delta. This result extends work in math.LO/9808011.
Full work available at URL: https://arxiv.org/abs/math/0307229
Recommendations
- Gap forcing
- Iterated forcing and elementary embeddings
- Non-closure of the image model and absence of fixed points
- Small embedding characterizations for large cardinals
- scientific article; zbMATH DE number 1943969
- The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact
- Tall cardinals
- Ramsey-like cardinals
- The Ultrafilter Characterization of Huge Cardinals
- scientific article; zbMATH DE number 1442091
Cited In (70)
- Strong tree properties, Kurepa trees, and guessing models
- INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES
- \(N\)-Berkeley cardinals and weak extender models
- Almost strong properness
- Compactness versus hugeness at successor cardinals
- Characterizing large cardinals through Neeman's pure side condition forcing
- The Continuum Hypothesis
- On HOD-supercompactness
- Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
- An \(L\)-like model containing very large cardinals
- The ground axiom is consistent with V $\neq $ HOD
- GENERIC LARGE CARDINALS AS AXIOMS
- On the indestructibility aspects of identity crisis
- Forcing when there are large cardinals: an introduction
- The downward directed grounds hypothesis and very large cardinals
- On some properties of Shelah cardinals
- Guessing models and the approachability ideal
- Adding a nonreflecting weakly compact set
- More on HOD-supercompactness
- Large cardinals with few measures
- The ground axiom
- Woodin for strong compactness cardinals
- Cohen forcing and inner models
- Coding into HOD via normal measures with some applications
- Small embedding characterizations for large cardinals
- Closed maximality principles: implications, separations and combinations
- Indestructible strong compactness but not supercompactness
- Weakly measurable cardinals
- Strong independence and its spectrum
- In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
- What is the theory ZFC without power set?
- Accessing the switchboard via set forcing
- The least strongly compact can be the least strong and indestructible
- Indestructibility, measurability, and degrees of supercompactness
- Diamond, square, and level by level equivalence
- Critical cardinals
- The set-theoretic multiverse
- Combined Maximality Principles up to large cardinals
- Certain very large cardinals are not created in small forcing extensions
- Small models, large cardinals, and induced ideals
- Mixed levels of indestructibility
- Free groups and automorphism groups of infinite structures
- The weakly compact reflection principle need not imply a high order of weak compactness
- On tall cardinals and some related generalizations
- Some Second Order Set Theory
- The large cardinals between supercompact and almost-huge
- 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)
- The consistency of level by level equivalence with \(V=\mathrm{HOD}\), the ground axiom, and instances of square and diamond
- JOINT DIAMONDS AND LAVER DIAMONDS
- Indestructibility and destructible measurable cardinals
- Large cardinals need not be large in HOD
- Strongly unfoldable cardinals made indestructible
- The Hurewicz dichotomy for generalized Baire spaces
- Class forcing in class theory
- Choiceless Löwenheim-Skolem property and uniform definability of grounds
- Adding closed unbounded subsets of \(\omega_2\) with finite forcing
- Superstrong and other large cardinals are never Laver indestructible
- On the Hamkins approximation property
- Namba forcing, weak approximation, and guessing
- Laver and set theory
- Set-theoretic geology
- Continuous images of closed sets in generalized Baire spaces
- Capturing sets of ordinals by normal ultrapowers
- Strong combinatorial principles and level by level equivalence
- Indestructible strong compactness and level by level inequivalence
- Extendible cardinals and the mantle
- Mitchell's theorem revisited
- Strongly compact cardinals and the continuum function
- Identity crises and strong compactness. III: Woodin cardinals
- Tall cardinals
This page was built for publication: Extensions with the approximation and cover properties have no new large cardinals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4811323)
