Innermodeltheoreticgeology.PDFVIP

Inner model theoretic geology? Gunter Fuchs? Ralf Schindler September 9, 2015 Abstract One of the basic concepts of set theoretic geology is the mantle of a model of set theory V: it is the intersection of all grounds of V, that is, of all inner models M of V such that V is a set-forcing extension of M. The main theme of the present paper is to identify situations in which the mantle turns out to be a ?ne structural extender model. The ?rst main result is that this is the case when the universe is constructible from a set and there is an inner model with a Woodin cardinal. The second situation like that arises if L[E] is an extender model that is iterable in V but not internally iterable, as guided by P -constructions, L[E] has no strong cardinal, and the extender sequence E is ordinal de?nable in L[E] and its forcing extensions by collapsing a cutpoint to ω (in an appropriate sense). The third main result concerns the Solid Core of a model of set theory. This is the collection of all sets that are constructible from a set of ordinals that cannot be added by set-forcing to an inner model. The main result here is that if there is an inner model with a Woodin cardinal, then the solid core is a ?ne-structural extender model. 1 Introduction In [FHR15], the authors introduced several types of inner models which are de?ned following the paradigm of “undoing” forcing. Thus, the mantle M of a model of set theory V is the intersection of all of its ground models (i.e., the intersection of all inner models of which V is a set-generic forcing extension). By a result of ?AMS MSC 2010: 03E35, 03E40, 03E45, 03E47, 03E55. Keywords: Inner models, mantle, forcing, large cardinals ?Part of the ?rst author’s work on this research was supported by PSC CUNY research award # 66572-0