Markaxiom

I mängdteorin säger grundaxiomet att mängdteorins universum inte är en icke-trivial framtvingande förlängning av en inre modell . Axiomet introducerades av Hamkins (2005) och Reitz (2007) .

• 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
• Reitz, Jonas (2008). The Ground Axiom (Ph.D.). CUNY Graduate Center. arXiv : math/0609064 .