Podstawowy aksjomat

W teorii mnogości podstawowy aksjomat stwierdza, że ​​wszechświat teorii mnogości nie jest nietrywialnym wymuszającym mnogość rozszerzeniem modelu wewnętrznego . Aksjomat został wprowadzony przez Hamkinsa (2005) i Reitza (2007) .

• Hamkins, Joel David (2005), „Podstawowy aksjomat”, Oberwolfach Report , 55 : 3160–3162
•    Hamkins, Joel David ; Reitz, Jonas; Woodin, W. Hugh (2008), „Aksjomat podstawy jest zgodny z 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), „Aksjomat podstawy” , Journal of Symbolic Logic , 72 (4): 1299–1317, doi : 10.2178/jsl/1203350787 , ISSN 0022-4812 , MR 2371206
• Reitz, Jonas (2008). Podstawowy aksjomat (doktorat). Centrum absolwentów CUNY. arXiv : matematyka/0609064 .