Loading article…
集合論における基礎公理は、集合論の宇宙は内部モデルの非自明な集合強制拡張ではないことを述べています。この公理は、Hamkins (2005) と Reitz (2007) によって導入されました。
参考文献
- Hamkins、Joel David (2005)、「The Ground Axiom」、Oberwolfach Report、55 : 3160–3162
- ハムキンス、ジョエル・デイビッド、ライツ、ジョナス、ウッディン、W.ヒュー（2008）、「基礎公理はV≠HODと一致する」、アメリカ数学会紀要、136（8）：2943–2949、doi：10.1090/S0002-9939-08-09285-X、ISSN 0002-9939、MR 2399062
- ライツ、ジョナス (2007)、「基礎公理」、Journal of Symbolic Logic、72 (4): 1299–1317、doi :10.2178/jsl/1203350787、ISSN 0022-4812、MR 2371206
- Reitz, Jonas (2008). The Ground Axiom (Ph.D.). CUNY 大学院センター. arXiv : math/0609064 .