2 papers
math.LO2006
The Ground Axiom
Jonas Reitz
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, an…
math.LO2006
The Ground Axiom (GA)
Jonas Reitz
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, an…