Ground axiom

In set theory, the ground axiom was introduced by Hamkins (2005) and Reitz (2007). It states that the universe is not a nontrivial set forcing extension of an inner model.

References
  • Hamkins, Joel David (2005), "The Ground Axiom", Oberwolfach Report, 55: 3160–3162
  • Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh (2008), "The ground axiom is consistent with V ≠ HOD", Proceedings of the American Mathematical Society, 136 (8): 2943–2949, doi:10.1090/S0002-9939-08-09285-X, ISSN 0002-9939, MR 2399062
  • Reitz, Jonas (2007), "The ground axiom", Journal of Symbolic Logic, 72 (4): 1299–1317, doi:10.2178/jsl/1203350787, ISSN 0022-4812, MR 2371206
  • Jonas Reitz (2008). The Ground Axiom (Ph.D.). CUNY Graduate Center. arXiv:math/0609064.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.