Sciweavers

JSYML
2007
73views more  JSYML 2007»
13 years 11 months ago
The ground axiom
Abstract. 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 expr...
Jonas Reitz