WebA 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, and … WebJan 1, 2005 · Jonas Reitz. The Ground Axiom. PhD thesis, The Graduate Center of the City University of New York, 365 Fifth Avenue, New York, NY 10016. in preparation. [Woo] W. …
Set Theoretic Geology - Portal
WebA 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, and any model of ZFC has a class forcing extension which satisfies it. The Ground Axiom is independent of many well-known set-theoretic assertions including the Generalized … WebSep 2, 2006 · Jonas Reitz. Published 2 September 2006. Philosophy, Economics. Journal of Symbolic Logic. Abstract A new axiom is proposed, the Ground Axiom, asserting that the … official chicago marathon gear
(PDF) The ground axiom (2007) Jonas Reitz 54 Citations
WebTHE GROUND AXIOM JONAS REITZ 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 expressible, and any model of ZFC has a class forcing extension which satisfies it. The Ground Axiom is independent of many well-known WebIn set theory, the ground axiom was introduced by Hamkins (2005) and Reitz (2007). It states that the universe is not a nontrivial set forcing extension of an inner model. Video … WebThe new axiom is shown to be consistent with the failure of MA and a singular continuum. ... using the result of Reitz [7] that the ground models of the universe are uniformly definable. If Martin’s Axiom holds, we may simply take W = V in the definition, which shows that the grounded Martin’s Axiom is implied by Martin’s Axiom. myelin basic protein csf quest