pith. sign in

arxiv: math/0609064 · v1 · submitted 2006-09-02 · 🧮 math.LO

The Ground Axiom

Jonas Reitz (New York City College of Technology) This is my paper
classification 🧮 math.LO
keywords axiomgroundextensionmodelassertingexpressiblefirst-orderforcing
0
0 comments X
read the original 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 set-theoretic assertions including the Generalized Continuum Hypothesis, the assertion V=HOD that every set is ordinal definable, and the existence of measurable and supercompact cardinals. The related Bedrock Axiom, asserting that the universe is a set-forcing extension of a model satisfying the Ground Axiom, is also first-order expressible, and its negation is consistent. As many of these results rely on forcing with proper classes, an appendix is provided giving an exposition of the underlying theory of proper class forcing.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Reduction Complexities in Set Theory

    math.LO 2025-09 unverdicted novelty 7.0

    Develops reduction complexities by interpolating effective and Weihrauch reducibility for set-theoretic statements of arbitrary quantifier complexity, with many such complexities independent of ZFC.