The ground axiom
From MaRDI portal
Publication:5444701
DOI10.2178/jsl/1203350787zbMath1135.03018arXivmath/0609064WikidataQ114005168 ScholiaQ114005168MaRDI QIDQ5444701
Publication date: 25 February 2008
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0609064
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E65: Other set-theoretic hypotheses and axioms
Related Items
The downward directed grounds hypothesis and very large cardinals, The grounded Martin's axiom, Inner mantles and iterated HOD, Subcomplete forcing principles and definable well‐orders, The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond, Superstrong and other large cardinals are never Laver indestructible, Laver and set theory, A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT, MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING, STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L, Large cardinals at the brink, Inner models with large cardinal features usually obtained by forcing, The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact, Extendible cardinals and the mantle, Choiceless Löwenheim-Skolem property and uniform definability of grounds, Inner-model reflection principles, More on HOD-supercompactness, Set-theoretic blockchains, Resurrection axioms and uplifting cardinals, Set-theoretic geology, Accessing the switchboard via set forcing, THE SET-THEORETIC MULTIVERSE, Indestructibility, HOD, and the Ground Axiom, Coding into HOD via normal measures with some applications, Forcing, Multiverse and Realism, The Ultrapower Axiom, The ground axiom is consistent with V $\neq $ HOD, Some Second Order Set Theory
Cites Work
- Set theory. An introduction to independence proofs
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Fine structure and class forcing
- Extensions with the approximation and cover properties have no new large cardinals
- Powers of regular cardinals
- Consistency results about ordinal definability
