Set-theoretic geology

Abstract A ground of the universe V is a transitive proper class W ⊆ V , such that W ⊨ ZFC and V is obtained by set forcing over W, so that V = W [ G ] for some W-generic filter G ⊆ P ∈ 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.

[1]  JOEL DAVID HAMKINS,et al.  Generalizations of the Kunen inconsistency , 2012, Ann. Pure Appl. Log..

[2]  Sy-David Friedman.  Internal Consistency and the Inner Model Hypothesis , 2006, Bull. Symb. Log..

[3]  William J. Mitchell,et al.  On the Hamkins approximation property , 2006, Ann. Pure Appl. Log..

[4]  Ad Brooke-Taylor.  Large cardinals and L-like combinatorics , 2007 .

[5]  A. Levy,et al.  Measurable cardinals and the continuum hypothesis , 1967 .

[6]  Joel David Hamkins,et al.  Moving Up and Down in the Generic Multiverse , 2012, ICLA.

[7]  Joel David Hamkins,et al.  Small forcing creates neither strong nor Woodin cardinals , 1998 .

[8]  Philip D. Welch,et al.  Coding the Universe: Some further applications , 1982 .

[9]  Wlodzimierz Zadrozny.  Iterating ordinal definability , 1983, Ann. Pure Appl. Log..

[10]  Joel David Hamkins.  The Lottery Preparation , 2000, Ann. Pure Appl. Log..

[11]  Kenneth Kunen,et al.  Set Theory: An Introduction to Independence Proofs , 2010 .

[12]  Patrick Dehornoy,et al.  Iterated ultrapowers and prikry forcing , 1978 .

[13]  R. Solovay.  A model of set-theory in which every set of reals is Lebesgue measurable* , 1970 .

[14]  William Mitchell,et al.  Aronszajn trees and the independence of the transfer property , 1972 .

[15]  K. McAloon,et al.  Consistency results about ordinal definability , 1971 .

[16]  Serge Grigorieff.  Intermediate Submodels and Generic Extensions in Set Theory , 1975 .

[17]  Richard Laver,et al.  Certain very large cardinals are not created in small forcing extensions , 2007, Ann. Pure Appl. Log..

[18]  Gunter Fuchs,et al.  Closed maximality principles: implications, separations and combinations , 2008, Journal of Symbolic Logic.

[19]  W. Woodin.  Set Theory, Arithmetic, and Foundations of Mathematics: The continuum hypothesis, the generic-multiverse of sets, and the Ω conjecture , 2011 .

[20]  Joel David Hamkins,et al.  Extensions with the approximation and cover properties have no new large cardinals , 2003, math/0307229.

[21]  Joel David Hamkins,et al.  Superstrong and other large cardinals are never Laver indestructible , 2013, Arch. Math. Log..

[22]  B. Löwe,et al.  Structural connections between a forcing class and its modal logic , 2012, 1207.5841.

[23]  Joel David Hamkins,et al.  The modal logic of forcing , 2005, math/0509616.

[24]  Joel David Hamkins,et al.  Indestructible Strong Unfoldability , 2010, Notre Dame J. Formal Log..

[25]  Jonas Reitz.  The ground axiom , 2007, J. Symb. Log..

[26]  Richard Laver,et al.  Making the supercompactness of κ indestructible under κ-directed closed forcing , 1978 .

[27]  Joel David Hamkins,et al.  THE GROUND AXIOM IS CONSISTENT WITH V ≠ HOD , 2008 .

[28]  Andrew D. Brooke-Taylor.  Large cardinals and definable well-orders on the universe , 2009, J. Symb. Log..