53 research outputs found
Set-Theoretic Geology
A ground of the universe V is a transitive proper class W subset V, such that
W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G]
for some W-generic filter G subset P in W . The model V satisfies the ground
axiom GA if there are no such W properly contained in V . The model W is a
bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle
of V is the intersection of all grounds of V . The generic mantle of V is the
intersection of all grounds of all set-forcing extensions of V . The generic
HOD, written gHOD, is the intersection of all HODs of all set-forcing
extensions. The generic HOD is always a model of ZFC, and the generic mantle is
always a model of ZF. Every model of ZFC is the mantle and generic mantle of
another model of ZFC. We prove this theorem while also controlling the HOD of
the final model, as well as the generic HOD. Iteratively taking the mantle
penetrates down through the inner mantles to what we call the outer core, what
remains when all outer layers of forcing have been stripped away. Many
fundamental questions remain open.Comment: 44 pages; commentary concerning this article can be made at
http://jdh.hamkins.org/set-theoreticgeology
Recommended from our members
Mini-Workshop: Feinstrukturtheorie und Innere Modelle
This workshop presented recent advances in fine structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their fine structure, and the construction of true K below a Woodin cardinal in ZFC. The remaining talks involved precipitous ideals, stationary set reflection, failure of SCH in ZF, nonthreadable square sequences, reverse mathematics, forcing axioms, covering properties of canonical inner models, and “set theoretic geology.
Is the dream solution to the continuum hypothesis attainable?
The dream solution of the continuum hypothesis (CH) would be a solution by
which we settle the continuum hypothesis on the basis of a newly discovered
fundamental principle of set theory, a missing axiom, widely regarded as true.
Such a dream solution would indeed be a solution, since we would all accept the
new axiom along with its consequences. In this article, however, I argue that
such a dream solution to CH is unattainable.
The article is adapted from and expands upon material in my article, "The
set-theoretic multiverse", to appear in the Review of Symbolic Logic (see
arXiv:1108.4223).Comment: This article is based upon an argument I gave during the course of a
three-lecture tutorial on set-theoretic geology at the summer school "Set
Theory and Higher-Order Logic: Foundational Issues and Mathematical
Developments", at the University of London, Birkbeck in August 201
Moving up and down in the generic multiverse
We give a brief account of the modal logic of the generic multiverse, which
is a bimodal logic with operators corresponding to the relations "is a forcing
extension of" and "is a ground model of". The fragment of the first relation is
called the modal logic of forcing and was studied by us in earlier work. The
fragment of the second relation is called the modal logic of grounds and will
be studied here for the first time. In addition, we discuss which combinations
of modal logics are possible for the two fragments.Comment: 10 pages. Extended abstract. Questions and commentary concerning this
article can be made at
http://jdh.hamkins.org/up-and-down-in-the-generic-multiverse
- …