Extensions with the approximation and cover properties have no new large cardinals
From MaRDI portal
Publication:4811323
DOI10.4064/fm180-3-4zbMath1066.03052arXivmath/0307229OpenAlexW1988896484MaRDI QIDQ4811323
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
Related Items (67)
Identity crises and strong compactness. III: Woodin cardinals ⋮ The Continuum Hypothesis ⋮ IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES ⋮ Compactness versus hugeness at successor cardinals ⋮ On the indestructibility aspects of identity crisis ⋮ Coding into HOD via normal measures with some applications ⋮ Accessing the switchboard via set forcing ⋮ Mixed Levels of Indestructibility ⋮ THE SET-THEORETIC MULTIVERSE ⋮ The least strongly compact can be the least strong and indestructible ⋮ On the Hamkins approximation property ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ The downward directed grounds hypothesis and very large cardinals ⋮ Strong independence and its spectrum ⋮ Strong tree properties, Kurepa trees, and guessing models ⋮ Cohen forcing and inner models ⋮ INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES ⋮ The ground axiom is consistent with V $\neq $ HOD ⋮ Indestructible strong compactness but not supercompactness ⋮ Capturing sets of ordinals by normal ultrapowers ⋮ Strong combinatorial principles and level by level equivalence ⋮ Extendible cardinals and the mantle ⋮ Small models, large cardinals, and induced ideals ⋮ On tall cardinals and some related generalizations ⋮ More on HOD-supercompactness ⋮ Closed maximality principles: implications, separations and combinations ⋮ WOODIN FOR STRONG COMPACTNESS CARDINALS ⋮ On some properties of Shelah cardinals ⋮ An \(L\)-like model containing very large cardinals ⋮ Characterizing large cardinals through Neeman's pure side condition forcing ⋮ The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond ⋮ Large cardinals need not be large in HOD ⋮ N-BERKELEY CARDINALS AND WEAK EXTENDER MODELS ⋮ Certain very large cardinals are not created in small forcing extensions ⋮ Class Forcing in Class Theory ⋮ Weakly measurable cardinals ⋮ The Hurewicz dichotomy for generalized Baire spaces ⋮ Characterizations of the weakly compact ideal on \(P_\kappa\lambda\) ⋮ Guessing models and the approachability ideal ⋮ Almost strong properness ⋮ NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING ⋮ On HOD-supercompactness ⋮ Mitchell's theorem revisited ⋮ Diamond, square, and level by level equivalence ⋮ Some Second Order Set Theory ⋮ JOINT DIAMONDS AND LAVER DIAMONDS ⋮ The ground axiom ⋮ 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)] ⋮ The weakly compact reflection principle need not imply a high order of weak compactness ⋮ Indestructibility and destructible measurable cardinals ⋮ Superstrong and other large cardinals are never Laver indestructible ⋮ Laver and set theory ⋮ Set-theoretic geology ⋮ Strongly compact cardinals and the continuum function ⋮ What is the theory without power set? ⋮ Combined Maximality Principles up to large cardinals ⋮ Indestructibility, measurability, and degrees of supercompactness ⋮ Adding a nonreflecting weakly compact set ⋮ Strongly unfoldable cardinals made indestructible ⋮ Tall cardinals ⋮ Indestructible strong compactness and level by level inequivalence ⋮ The large cardinals between supercompact and almost-huge ⋮ Choiceless Löwenheim-Skolem property and uniform definability of grounds ⋮ Large cardinals with few measures ⋮ Adding closed unbounded subsets of \(\omega_2\) with finite forcing ⋮ FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES
This page was built for publication: Extensions with the approximation and cover properties have no new large cardinals
