Jump to content

Ground axiom

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Citation bot (talk | contribs) at 05:53, 2 May 2020 (Alter: last1. Add: arxiv, author pars. 1-1. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by Headbomb | via #UCB_webform). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.


Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Ground_axiom&oldid=954401532"