Extensions with the approximation and cover properties have no new large cardinals

DOI10.4064/FM180-3-4MaRDI QIDQ4811323zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins

Publication date 19 August 2004

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0307229, http://journals.impan.gov.pl/fm/Inf/180-3-4.html

zbMATH Keywords

forcinglarge cardinalselementary embeddingpreservation theorems

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

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.

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)

• On HOD-supercompactness
• Tall cardinals
• An \(L\)-like model containing very large cardinals
• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• The ground axiom is consistent with V $\neq $ HOD
• On the indestructibility aspects of identity crisis
• GENERIC LARGE CARDINALS AS AXIOMS
• Strong tree properties, Kurepa trees, and guessing models
• On some properties of Shelah cardinals
• Forcing when there are large cardinals: an introduction
• INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES
• Adding a nonreflecting weakly compact set
• The downward directed grounds hypothesis and very large cardinals
• More on HOD-supercompactness
• Guessing models and the approachability ideal
• Large cardinals with few measures
• The ground axiom
• \(N\)-Berkeley cardinals and weak extender models
• Woodin for strong compactness cardinals
• Cohen forcing and inner models
• Coding into HOD via normal measures with some applications
• Almost strong properness
• Small embedding characterizations for large cardinals
• Indestructible strong compactness but not supercompactness
• Closed maximality principles: implications, separations and combinations
• Weakly measurable cardinals
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• What is the theory ZFC without power set?
• Strong independence and its spectrum
• The least strongly compact can be the least strong and indestructible
• Diamond, square, and level by level equivalence
• Accessing the switchboard via set forcing
• Indestructibility, measurability, and degrees of supercompactness
• Critical cardinals
• The set-theoretic multiverse
• Compactness versus hugeness at successor cardinals
• 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
• Free groups and automorphism groups of infinite structures
• Mixed levels of indestructibility
• Characterizing large cardinals through Neeman's pure side condition forcing
• The weakly compact reflection principle need not imply a high order of weak compactness
• On tall cardinals and some related generalizations
• The Continuum Hypothesis
• 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
• Large cardinals need not be large in HOD
• Indestructibility and destructible measurable cardinals
• Strongly unfoldable cardinals made indestructible
• The Hurewicz dichotomy for generalized Baire spaces
• Adding closed unbounded subsets of _2 with finite forcing
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• Class forcing in class theory
• On the Hamkins approximation property
• Superstrong and other large cardinals are never Laver indestructible
• Namba forcing, weak approximation, and guessing
• Laver and set theory
• Continuous images of closed sets in generalized Baire spaces
• Set-theoretic geology
• Capturing sets of ordinals by normal ultrapowers
• Strong combinatorial principles and level by level equivalence
• Indestructible strong compactness and level by level inequivalence
• Mitchell's theorem revisited
• Extendible cardinals and the mantle
• Strongly compact cardinals and the continuum function
• Identity crises and strong compactness. III: Woodin 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)