The ground axiom

DOI10.2178/jsl/1203350787zbMath1135.03018arXivmath/0609064WikidataQ114005168 ScholiaQ114005168MaRDI QIDQ5444701

Jonas Reitz

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

zbMATH Keywords

forcing; coding; ordinal definability; the Bedrock Axiom; the Ground Axiom

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E65: Other set-theoretic hypotheses and axioms

Related Items

Superstrong and other large cardinals are never Laver indestructible, Laver and set theory, Inner models with large cardinal features usually obtained by forcing, The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact, 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, 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