Ground axiom - Ground axiom

V teorii množin je pozemní axiom byl představen Hamkins (2005) a Reitz (2007). Tvrdí, že vesmír není netriviální množina nutit prodloužení vnitřní model.

Reference

  • Hamkins, Joel David (2005), „The Ground Axiom“, Oberwolfachova zpráva, 55: 3160–3162
  • Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh (2008), „Základní axiom je konzistentní s V ≠ HOD“, Proceedings of the American Mathematical Society, 136 (8): 2943–2949, doi:10.1090 / S0002-9939-08-09285-X, ISSN  0002-9939, PAN  2399062
  • Reitz, Jonas (2007), „Ground axiom“, Journal of Symbolic Logic, 72 (4): 1299–1317, doi:10,2178 / jsl / 1203350787, ISSN  0022-4812, PAN  2371206
  • Jonas Reitz (2008). Ground Axiom (Ph.D.). CUNY Graduate Center. arXiv:matematika / 0609064.