STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L

Abstract We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending 
$\mathsf {ZFC}$
 by using his multiverse axioms 
$\mathsf {MV}$
 and the ‘core hypothesis’. In the first part, we examine the evidential framework for 
$\mathsf {MV}$
 , in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of 
$\mathsf {ZFC}$
 . In the second part, we address the existence and the possible features of the core of 
$\mathsf {MV}_T$
 (where T is 
$\mathsf {ZFC}$
 +Large Cardinals). In the last part, we discuss the hypothesis that the core is Ultimate-L, and examine whether and how, based on this fact, the Core Universist can justify V=Ultimate-L as the best (and ultimate) extension of 
$\mathsf {ZFC}$
 . To this end, we take into account several strategies, and assess their prospects in the light of 
$\mathsf {MV}$
 ’s evidential framework.


Steel's Programme
In [Steel, 2014], John Steel presented a version of the set-theoretic multiverse consisting of 'worlds' (set-generic extensions of V ), and a collection of axioms for it, MV, and also made the hypothesis that such a multiverse might contain a core, that is, a world included in all other worlds, which would act as 'preferred universe', as the 'real V '. 1 A few years after the appearance of [Steel, 2014], in the context of research on set-theoretic geology, 2 it was proved (in [Usuba, 2019]) that, if there exists an extendible cardinal, then V has a smallest ground, and that such smallest ground is the κ-mantle of V itself, where κ is the least extendible cardinal.A noticeable consequence of Usuba's result is that the multiverse of * Universitat de Barcelona, ICREA.bagaria@ub.edu;joan.bagaria@icrea.cat† Universitat de Barcelona.claudio.ternullo@ub.edu. 1 [Steel, 2014], p. 167ff.
Further discussion of Steel's MV axioms may be found in [Maddy and Meadows, 2020] (for the discussion of the 'core hypothesis', see, in particular, sections 5-6).
2 For a review of some set-theoretic geological concepts, see section 3.1.
the theory MV T , where T = ZFC+'there exists a proper class of extendible cardinals' has a core.Now, given the presuppositions of MV, in particular, its reliance upon the whole hierarchy of Large Cardinals (LCs), it makes full sense to investigate the features of the multiverse of MV T , in particular, the features of its core.Steel's 'core hypothesis' also has connections with another, recently arisen, fundamental set-theoretic hypothesis, that is, Woodin's 'Ultimate-L Conjecture'. 3The inner model programme has progressively unveiled the existence of 'canonical' inner models of ZFC+LCs; Woodin's Ultimate-L Conjecture asserts that ZFC+LCs also proves the existence of a weak extender model for a cardinal δ being supercompact which also satisfies V =Ultimate-L. 4In turn, Steel has made the hypothesis that Ultimate-L might be the most 'suitable' candidate as the core of MV. 5 Now, given MV T , where, again, T = ZFC+'there exists a proper class of extendible cardinals', Steel's Programme, as we will call it, may be formulated as follows: Steel's Programme.Use facts about the core of MV T as evidence for the following claims: 1. V is the core.
2. The core is Ultimate-L.
3. ZFC+LCs+V =Ultimate-L has a better claim than any other theory to be seen as the best (ultimate) extension of ZFC. 6 As we shall see in more detail later on, the execution (and meaningfulness) of Steel's Programme crucially depends on the relationship between L MV , the multiverse language, and L ∈ , the language of set theory, as expressed by a 'translation function', which, in turn, shows that L MV is a sublanguage of L ∈ .
As a consequence of this, the existence of the core of the multiverse of MV has bearings on set theory, as 'standardly' construed as the theory of V , thus, Steel's Programme makes full sense.In broader philosophical terms, the interaction between the two 'languages' may be construed as a way to provide set-theorists with a strategy to respond to the following question: Question 1.1.Is there a 'preferred' universe of sets?
Clearly, if the Programme is successful, then the response to this question is in the positive, a fact which would have a considerable impact on our understanding of set theory, in particular, of its foundations.
The main purpose of the paper is to provide a comprehensive assessment of the Programme, by focussing on three main topics: (1) its 'evidential framework': in particular, the use of LCs and of forcing extensions of V as 'worlds' in the MV axiomatic set-up (section 2); (2) the core: the assumptions needed for its existence, and its level of (in)determinacy over MV (section 3 and 4); (3) the hypothesis that Ultimate-L is the core, and the justification for this claim (section 5).
But first, we would like to introduce very briefly the general features of the broader philosophical context in which Steel's Programme may be discussed.

Two Kinds of Universism
MV locates itself in the current universe/multiverse debate, and, consequently, in the debate on pluralism, that is, on the issue of whether mathematical truth splits into many, mutually incompatible, truths. 7Pluralism is very often taken to correspond to 'ontological' pluralism, that is, to the view that: (Ontological) Pluralism.There are many, alternative universes of set theory (there is a set-theoretic multiverse). 8t note that some pluralists would just commit themselves to semantic pluralism, that is, to the view that the truth-value of all set-theoretic statements undecidable from the ZFC axioms is indeterminate (neither true nor false).The opposite camp is represented by: (Ontological) Non-Pluralism.There is just one universe of set theory. 9 In what follows, we will mostly refer to the position above as: Classic Universism.Set theory is the theory of a single universe, V , whose features are pinned down by the ZFC axioms (and, potentially, by other axioms extending ZFC). 10 Steel himself introduces and considers several theses, of different nature and strength, concerning set-theoretic ontology and truth.The philosophical thesis which postulates the existence of the core of MV's multiverse is what Steel calls Weak Absolutism: Weak Absolutism.The multiverse has a core. 11ucially for our purposes, Weak Absolutism quite naturally leads to the following stronger view: Core Universism.Set theory is the theory of multiple (set-theoretic) universes, that is, of a multiverse, which also contains a core universe.Such a universe has a better claim to be seen as the 'ultimate universe of sets' than any other universe.
We believe that this position makes sense, especially in view of Steel's programme, insofar as, if the core of the multiverse of MV exists, then it makes sense to claim that V is the core of such multiverse.
To state very quickly the main differences between Classic and Core Universism: the Classic Universist may be standardly characterised as someone believing that our intuition of sets, or the 'concept of set' itself, will provide us with a unique, consistent extension of the ZFC axioms which will uniquely fix the truth-value of the undecidable statements.12By contrast, the Core Universist may be characterised as someone who takes all alternative 'universes' to be equally legitimate; however, such a Universist will also hold that each universe (or, if you wish, theory) contains 'traces' of a single, 'preferred' universe, and much of the value of the position consists in showing that the claim is true, that is, that a core universe is really detectable within the multiverse itself.Of course, the Core Universist also expects to be able to describe the properties of the core in a satisfactory way.
In order to attain a reduction of set-theoretic incompleteness, the Classic Universist will suggest further exploration of our intuitions about sets, or sharpening of the concept of set, whereas the Core Universist will suggest further exploration of the properties of the core through the multiverse axioms.Now, it is clear that Steel's Programme advocates the Core Universist's standpoint, and, therefore, has deep implications on the preferability of Core over Classic Universism: as already said, the Programme, if successful, would lend support to Core Universism.Indeed, the Core Universist's construal of the Programme's goals and results could be condensed as follows: 'Non-pluralism about set-theoretic ontology cannot be correct, as we are aware of the existence of many alternative universes (as well as of alternative theories extending ZFC).However, given a suitable version of the multiverse, one resting upon significant bits of current set-theoretic practice (upon the 'evidential framework' addressed in the next section), we may identify a 'preferred' universe within the multiverse itself.But then, for all our foundational purposes, such a universe might be seen as a fully adequate instantiation of our pre-theoretic notion of 'single universe', perhaps not exactly the Classic Universist's one, indeed, a more 'pragmatic', but equally justified, version of it.' The Weak Absolutist's position has already been vindicated by Usuba's result: if there are sufficiently strong LCs, then MV has a core.However, whether, and in what sense, the core could be seen as the 'ultimate' ('preferred') universe of sets, as claimed by the Core Universist, namely as the equivalent of the Classic Universist's V , is still open to debate, as we shall see in the next sections.

The Evidential Framework of MV
In the preliminaries of [Steel, 2014], Steel introduces and advocates a few distinctive positions, which he takes to be the main motivation for, and underlying conceptual framework of, his multiverse conception, as embodied by the MV axioms.We summarise them below: 1. Large Cardinals are 'practically' necessary to extend ZFC, mostly as a consequence of the following two phenomena: (a) LCs 'calibrate' the consistency of extensions of ZFC, and of most undecidable set-theoretic statements; (b) LCs maximise interpretative power, insofar as the hierarchy of consistency strengths of Large Cardinal Axioms (LCAs) is very aptly matched by the hierarchy of proof-theoretic strengths of extensions of ZFC. 13 2. Set theory should fundamentally be seen as the theory of the forcing extensions and inner models of models of the theory: ZFC+LCAs.This position, in turn, rests upon the fact that independence proofs are practically carried out in the model theory of (fragments of) ZFC+LCAs and, most crucially for Steel's purposes, also upon the fact that all 'natural' theories extending ZFC may be mutually connected through using models with LCs. 14 3. Set theory, as currently practised and interpreted, splits into several 'natural' theories, all of which extend ZFC.Part of the rationale for adopting set theory as a foundation of mathematics, thus, consists in describing all such theories and their connections through exploiting, in turn, connections between LCs and models containing them.15 4. In order to describe all such theories, one should make use of forcing.To be sure, models obtained through forcing have become an essential tool to produce a wide range of set-theoretic 'universes' upholding or violating set-theoretic principles, and, in particular, models obtained through forcing are used to prove the equiconsistency of theories with LCs.So, in practice, forcing extensions of the universe should be taken to stand for different universes (Steel's worlds). 16 the next subsections, we wish to discuss at length salient aspects of the points above and, through this, provide an assessment of the evidence for the MV axioms.

Natural Theories, Large Cardinals, and Worlds
As stated in bullet point (3.) above, one of the purposes of Steel's multiverse conception is precisely that of 'representing' all 'natural' theories extending ZFC within a unified axiomatic framework, without explicitly and directly having to deal with 'universes'.
However, in order to show that the axioms are not semantically vacuous, there will have to be objects fixing their interpretation, and such objects are, on the one hand, sets and, on the other, worlds 17 .But notice the peculiar use of worlds in MV: the latter are introduced, and described, to account for the representability of different theories. 18The strategy is, crucially, facilitated by both proof-theoretic and model-theoretic facts concerning LCs, in particular, the following conjecture: Conjecture 2.1.Any 'natural' extension of ZFC is either equiconsistent with ZFC or equiconsistent with ZFC + A, where A is a LCA.Moreover, the consistency strengths of  The main upshot of Conjecture 2.1 is that, since all theories ZFC+LCA considered so far are arranged in a well-ordered scale of consistency strengths,20 then also all natural theories are.Thus, the 'invisible web' binding together all natural theories is, finally, cast into sharp relief by the proof-theoretic connections among all LCAs.
The next step is to exploit the fact that, using LCs, one is able to construct models, in particular set-forcing extensions and inner models, which satisfy any natural theory.Using this fact, and Conjecture 2.1, Steel is, therefore, able to formulate, in full, the main meta-theoretic constraint presiding over his 'multiverse' (bullet point (2.) above): Meta-Theoretic Constraint.MV's worlds are just those models of ZFC+LCA which are needed to incorporate all natural theories extending ZFC.
Finally, since inner models may well be defined inside forcing extensions, what we just need to characterise worlds are LCs and forcing: the MV axioms reflect this state of affairs, by quantifying over set-forcing extensions (and their grounds) with LCs.
We will deal with the models of MV later on, but, first, we wish to express several concerns about Steel's use of, and primary reliance upon, LCs, and about the notion of 'naturalness'.
The first qualm refers to Conjecture 2.1, that all 'natural' extensions of ZFC are equiconsistent with either ZFC or some LCA.While no evidence against it has been found thus far, the conjecture is far from being settled, and things are compounded by the fact that we lack a general definition of 'large cardinal'.Now, it would certainly be unfair to have the unsharpness of the notion count against Steel's project; however, the absence of ultimate evidence that any undecidable statement will turn out to be equiconsistent with a LCA is a fact, which casts some doubts on the tenability of the conjecture.
A second, possibly more malignant, issue is that the notion of 'natural theory' is unclear.What we are told by Steel, at the very outset, is that a settheoretic statement does qualify as 'natural' if it is consistent with ZFC, asserts some 'facts' about sets, and is not of a metamathematical or proof-theoretic nature, but this is really not much.21Moreover, MV's scope for 'naturalness' is too restrictive from the beginning, as it leaves out theories, such as ZF+AD, which unquestionably express deep set-theoretic facts.
As an interpretative option, one could define a set-theoretic statement ϕ to be 'natural' if ZFC plus some LCA proves that ϕ holds in a forcing extension of V , or in some definable (allowing for set parameters) inner model of ZFC of a forcing extension of V (including definable, with set parameters, class forcing extensions that preserve ZFC).By this interpretation, all ZFC axioms as well as all LCAs are natural, and so are CH, V=L, V=HOD, SCH, as well as their negations (in fact, all genuinely set-theoretic statements known to be consistent with ZFC and asserting some facts about sets).Moreover, in this case, even theories contradicting Choice, like ZF+AD, would now be seen as 'natural', as they are also equiconsistent with ZFC+LCAs. 22his interpretation seems to fit Steel's goals, but, surely, 'equiconsistency with ZFC or ZFC+LCAs' does not seem to square very well with the commonsense, intuitive meaning of 'naturalness'.Moreover, one could easily reverse this approach, consider a theory natural if it can be expressed in models of ZF+LCAs, which also allow for the existence of even stronger LCs, such as Reinhardt and Berkeley Cardinals, and 'incorporate' theories with Choice in models of ZF+LCAs. 23

Large Cardinals as Maximality Principles
Steel's preference for LCs is also motivated by another principle, that he calls 'maximise interpretative power', which might be seen as consisting of two parts:

Maximise Interpretative Power [MIP]
. (A.) The MV axioms should be able to 'represent' as many theories ('natural extensions of ZFC') as possible; (B.) all the theories represented by the MV axioms should be such that, for any two of them, T and S, if Con(T ) → Con(S), then Γ S ⊆ Γ T (where, given a theory T , Γ T = {φ : T ⊢ φ}). 24As constitute a paradigmatic case study with respect to MIP.As far as (A.) is concerned, we have seen that each 'natural' theory T is satisfied in a forcing extension or inner model of another 'natural' theory S, provided both T and S are equiconsistent with LCAs; as regards (B.), we know that the amount of mutual interpretability of natural theories rises in proportion with their consistency strength.Thus, in the end, it would be legitimate to expect that: (*) As natural theories proceed up the large cardinal hierarchy in consistency strength, they agree on an ever-increasing class of mathematical statements. 2522 However, see the considerations in fn.19; of course, also this interpretation of 'naturalness' will have to rule out such statements as ZFC + Con(ZFC).
23 For Reinhardt and Berkeley cardinals, see [Bagaria et al., 2019], sections 2-3, pp.289-296.It should be noted that it is presently not known whether Choiceless Large Cardinals are consistent with ZF.If consistent, these LCs would have a dramatic impact on other set-theoretic hypotheses, such as the Ultimate-L Conjecture, and the HOD Dichotomy Hypothesis.In particular, they would imply that HOD is 'far' from V , so, in a sense, they may also be taken to have noticeable maximising virtues (so long as V =HOD is construed as a limiting hypothesis).Reinhardt cardinals may be seen as instantiating a different form of maximality, as they imply a 'maximisation' of the level of resemblance of V with itself in the non-trivial embedding j : V → V which is used for their definition.For further details and philosophical considerations on all these issues see, again, [Bagaria et al., 2019], section 8, p. 309ff. 24Cf.[Steel, 2014], pp.158-9; 165. 25 Cf.[Maddy and Meadows, 2020], p. 128, from which (*) has been verbatim reproduced.
A few observations are in order.The first one, concerning (B.), is that, so far, MIP has been shown to be satisfied by LCAs only partially, that is, for specific kinds of sentences in the Lévy hierarchy of arithmetical sentences.The following is the most one can hope to prove so far: Empirical Fact.For any two natural theories T, S whose consistency strength is at least that of the theory: ZFC+'there exist infinitely many Woodin cardinals', such that Con(T ) → Con(S), we have that As a consequence, the applicability of MIP to LCAs has only been verified up to the level of second-order arithmetic.
The second observation is as follows.Steel's purpose is that of representing a multiplicity of theories, all of which extend ZFC+LCs, and we wonder whether MIP is really compatible with this goal.For suppose (B.) were applicable to all sentences in the Lévy hierarchy; then, clearly, all the theories targeted by (A.), would not, just, be represented, but, for all practical purposes, they would rather be amalgamated into just one theory. 26One way out of this difficulty would be to see (A.) as being sanctioned by the presently limited range of applicability of (B.), but this wouldn't help fully ease the tension between (A.) and (B.).
Finally, although this is very speculative, the hierarchy of LCs contradicting Choice might, potentially, be more successful at instantiating MIP than the hierarchy of LCs with Choice, but, as we have seen, none of these theories features among those targeted by MV. 27

Models for MV
A major asset of MV is that this theory is complete with respect to a specific class of models M G , with which we will deal in a moment, that is, one has that: We will not delve into the philosophical reasons for preferring a complete axiomatisation of the multiverse over one which is not, as the task has already been carried out satisfactorily. 28In this subsection, we would rather like to focus on the semantics of MV, in particular, on its 'natural' models, M G , 29 and bring to light a slightly different mathematical approach to it (Proposition 2.2).
26 That MIP may really extend beyond Π 1 ω sentences, as the consistency strength of LCAs further increases, is very speculative (that it may extend to all sentences of the Lévy hierarchy is even less plausible).In particular, as pointed out by an anonymous reviewer, it is very doubtful that it might extend to the level of Σ 2 1 statements, that is, to the level of CH, although Steel conjectures that this could be the case, cf.[Steel, 2014], p. 163. 27 For other forms of maximality Choiceless LCs may potentially embody, see the considerations in footnote 23.
29 See further, paragraph below the enunciation of the MV axioms.
We start with reviewing, very quickly, the axioms.The language of MV is the first-order language of set theory with two sorts, namely Set and World.We introduce a minor tweak to Steel's original formulation of the axioms.As we already know, MV has, as its own base, the axioms of ZFC plus LCs (we shall mostly refer to the base theory as T ).Now, let a T -theory be a theory extending ZFC which is preserved by set-forcing extensions, and by going to set-forcing grounds: it turns out that any theory of the form ZFC+'there exists a proper class of some kind of LCs' is a T -theory.Then, the MV axioms for T (MV T ), which we will be mostly referring to and using throughout the paper, are the following ones: 1. (Extensionality for Worlds) If two worlds have the same sets, then they are equal.
2. Every world is a model of T .
3. Every world is a transitive proper class.An object is a set if and only if it belongs to some world.All worlds have the same ordinals.
4. If W is a world and P ∈ W is a poset, then there is a world of the form where G is P-generic over W , then W is also a world.
6. (Amalgamation) If U and W are worlds, then there are posets P ∈ U and Q ∈ W , and sets G and H P-generic and Q-generic over U and W , respectively, such that If M is a countable model of T and G is Coll(ω, < Ord) M -generic over M , let M G be the model whose sets are those in M [G] (in the case M is ill-founded, then M [G] is defined accordingly) and whose worlds are the grounds of models of the form M [G ↾ α], for some α ∈ Ord M .It can be easily shown that M G is a model of MV T , when T = ZFC.30Moreover, if T is obtained by adding to ZFC axioms such as 'There is a proper class of P -cardinals', where P stands for any of the usual large-cardinals properties, then it can also be proved that M G is a model of MV T .
The collection of all models M G provides a complete semantics, and the axiom which guarantees the completeness of MV T is, as has been shown by [Maddy and Meadows, 2020], p. 134, Amalgamation.But, as stressed by the authors, a consequence of this fact is that, in any model of the form M G , not all generic filters for posets in M may be taken into account to produce forcing extensions which act, as required by the Meta-Theoretic Constraint of section 2.1, as the 'worlds' of MV, but only those which are produced by the Coll(ω, Ord M )-generic filter G over M .
We now proceed to prove the following: Proposition 2.2.The MV T axioms imply that the multiverse is a homogeneous classforcing extension of each of its worlds.
Proof.Since the models M G give a complete semantics for MV T , we may assume that every model of MV T is of this form.Now, working in a model M G as above, let W be a world.So W is a ground of a model of the form for some α ∈ Ord M .Let P ∈ W be a poset such that for some is a generic extension of W by a poset of cardinality κ that collapses κ to ω, hence by Kripke's theorem ([Jech, 2003], Lemma 26.7) equivalent to Coll(ω, κ).Since Coll(ω, κ) is homogeneous, the proposition follows.
The following straightforward consequence of the MV T axioms asserts that every set-forcing generic extension of a world is also a world.
Proposition 2.3.The MV T axioms imply that if W is a world and G is P-generic over W for some poset P ∈ W , then W [G] is also a world.
Proof.Suppose W is a world and G is P-generic over W , for some poset P ∈ W .By Axiom 3, let W ′ be a world such that G ∈ W ′ .By Amalgamation (Axiom 6), let W ′′ be a world such that both W and W ′ are grounds of W ′′ .As W ⊆ W [G] ⊆ W ′′ , and W is a ground of W ′′ , the forcing extension W [G] of W is also a ground of W ′′ .Hence, since every ground of a world is also a world (Axiom 5), W [G] is a world, as wanted.

M G and The Translation Function
As already anticipated in section 1.1, Steel's conception rests upon the crucial fact that the language of MV, L MV , may be seen as a sublanguage of L ∈ .In order to show this, Steel defines a recursive translation function t from L MV into L ∈ , such that: where T , as said, is ZFC+LCs.The translation function may be rendered more transparently in terms of the semantics of MV as follows: Theorem 2.4 (Translation Function).For any sentence ϕ of L MV , every countable model M of ZFC and every It should be noted that, in the presence of the specified semantics of MV, the sentence t(ϕ) asserts 'ϕ is true in all multiverses obtained from me'.Equivalently, 'ϕ is true in some multiverse obtained from me'.Now, as said (section 2.3), Amalgamation is needed to show that the models M G provide a complete semantics for MV T .

The Core of MV
In this section, we will, on the one hand, show how the 'core hypothesis' arises in the context of the MV axioms, in particular, how it is mathematically justified; this will help us provide an answer to the following question: Under what circumstances is the core definable, and how?
On the other hand, we will show why Usuba's result (Theorem 3.5 below) implies that MV T , where T = ZFC+'there exists a proper class of extendible cardinals', proves that there exists a core universe.
However, before proceeding to review all such results, we address the 'core hypothesis' in the context of just ZFC, and recall relevant set-theoretic geological concepts and theorems which make sense of the hypothesis, and which will be instrumental to present our own results in section 4.

Prelude: The (Outer) Core of ZFC
Initiated by Reitz and Hamkins a few years ago, set-theoretic geology has brought forward a very innovative approach to 'universes of set theory' producible using forcing. 32Here follows a very brief review of its fundamental concepts.
Take V to be a model of the axioms ZFC.Hypothetically, it might be that V is a forcing extension of a ground model W , that is, that there exists a Wgeneric filter If this is the case, then it makes sense to explore the 'geology' of V , that is, the collection of grounds, the generic extensions of grounds and their grounds, and so on, which V might contain, where a ground of a model M is a model N of ZFC such that M has been obtained through forcing over N , that is, as an extension where G is a generic filter of a partial order P ∈ N .Further 'geological' notions will then crop up, which can be spelt out as follows.
The mantle M is the intersection of all the grounds of a model M of ZFC, and the bedrock is a class W which is a minimal ground of V .By results of Usuba [Usuba, 2017], the mantle is a model of ZFC.Since [Reitz, 2007], the following axiom has proved to be central to all geological investigations: Axiom 3.2 (Ground Axiom (GA)).V has no proper grounds.Now, if the mantle itself satisfies GA, then the mantle is a bedrock, in particular, a minimum bedrock contained in all other grounds, and the latter could legitimately be seen as the core universe of the set-generic multiverse (generated over it) that we'll be describing in full detail in the next subsection. 33A fuller mathematical characterisation of the core may, thus, be attempted.However, already at this point, it emerges that the features of the core may be (over ZFC) indeterminate.This is shown by the following, fundamental theorem: Hamkins, Reitz).Every countable model of ZFC can be the mantle of another model of ZFC. 34 In an attempt to both attain a more determinate core, and further investigate its nature, set-theoretic geologists have taken into account a different hypothesis, which can be expounded as follows.If the mantle does not satisfy GA, then it makes sense to take into account the 'mantle of the mantle', M 1 = M M , and then, always under the assumption that GA is not satisfied, the 'mantle of the mantle of the mantle' and so on.In other terms, it makes sense to take into account the iteration of the 'mantle operation'.Now, iterating the mantle is not a trivial task, as there are technical aspects involved which may prevent one from even defining the nth iterates of the mantle. 35Assuming these difficulties may be overcome, one might ask whether, for an α ∈ Ord iterate of the mantle, one has that M α = M β , for all β > α, that is, whether there is a minimal α such that M α |= GA.If there is one, then M α is said to be the outer core of the initial model (of V , if V was such model).However, in this case, as in the previous one where M |= GA, Theorem 3.3 will imply that also the outer core does not have determinate features, namely, that it might satisfy a wide range of mutually incompatible properties.
Moreover, it has been shown that the outer core cannot be uniquely pinned down in the iteration process, as a recent result by Reitz and Williams has confirmed [Fuchs et al., 2015]'s Conjecture 74, 36 and shown that, for any α ∈ Ord, the outer core of a model M could be any M α , that is, any α-th iterate of the mantle of M (possibly also including including M Ord , although no proof is currently available for this specific case). 37o sum up, ZFC alone does not, in itself, guarantee the existence of a 'core universe' and, moreover, over ZFC, no full-fledged, definite mathematical characterisation of the core may arise.As we shall see, a slightly different scenario comes to light, if one takes onboard LCs. 33An essential property to be satisfied for this to take place is Downwards Directedness, that is, that any two grounds have a ground in common.The Downwards Directedness Hypothesis (DDG) is, precisely, the claim that all grounds are downwards directed.[Usuba, 2017] proves that DDG already holds in ZFC (Proposition 5.1, p. 13).
34 [Fuchs et al., 2015] 37 [Fuchs et al., 2015] even envisages a possible extension, over the theory GBC, of the iteration of the mantle operation beyond M Ord for some model M , something which would imply that M has no outer core at all.See [Fuchs et al., 2015], pp.497-498.[Steel, 2014] credits Woodin for observing that 'if the multiverse has a definable world, then it has a unique definable world, and this world is included in all the others'. 38We give next the first complete proof of this fact.39Theorem 3.4.If the multiverse has a definable world, then it has a unique definable world.More precisely, suppose ϕ and ψ are formulas in the language of the multiverse with only one free variable for sets.Then,

The Proof of the Existence
Proof.Working in a model M G of MV T (see section 2.3), let U and W be worlds defined by ϕ and ψ, respectively.Since U and W are transitive and contain the same ordinals, it will be sufficient to show that U ⊆ W by showing V U α ⊆ W by induction on α.This is clear for α = 0, and also clear for α a limit ordinal provided it holds for all ordinals less than α.So suppose V U α ⊆ W and let us show We must check that Y ∈ W .As in Proposition 2.2, we can find γ large enough so that W Coll(ω,γ) |= 'I am a forcing extension of X, for some world X which is definable by ϕ in the multiverse generated by me.
for all such H.Letting Ẏ ∈ W be a Coll(ω, γ)-name for Y , we have that Y is definable in W as the set of all x ∈ V U α which are forced by Coll(ω, γ) to belong to Ẏ .Hence, Y ∈ W .
It follows that if there is a definable world U in the multiverse, then it is unique and, by Proposition 2.2, is contained in all of MV's worlds. 40Clearly, since the core, if it exists, is definable, the core exists if and only if there is a definable world.

The Core is the Mantle of V
We proceed to introduce the fundamental result, due to Toshimichi Usuba, which shows that, under the assumption of sufficiently strong LCs, V has a smallest ground.
Theorem 3.5 ([Usuba, 2019], p. 72).Suppose there exists an extendible cardinal.Then the mantle is a ground of V .In fact if κ is extendible, the κ-mantle of V is its smallest ground. 41w, since all grounds are downwards-directed,42 by using Theorem 3.5, we can now prove the following: Proposition 3.6 (Existence of the Core of the Multiverse of MV T ).Let T be ZFC+'there exists a proper class of extendible cardinals'.Then the MV T axioms imply that the multiverse has a core, which is the mantle (and a ground) of every world in the multiverse. 43oof.By Theorem 3.5, the mantle M W of every world W of the multiverse is a ground, hence by Axiom 5 of MV, it is also a world.Now suppose U 0 and U 1 are worlds.By Amalgamation, they are also grounds of some world W containing them.Hence, since the grounds are downwards-directed, M U0 = M U1 .It follows that all the worlds of the multiverse have the same mantle M, which is the intersection of all the worlds.Thus, M is definable by the formula Hence by Theorem 3.4 the mantle M is the core of the multiverse.

The Strength of the Large-Cardinal Assumptions
By Proposition 3.6, if M satisfies that there exists an extendible cardinal, then M G has a core.It is legitimate to ask whether the large-cardinal assumption in Theorem 3.5 might be weakened to the level of a LC lower in the consistency strength hierarchy; more generally: Question 3.7.For what choices of T does MV T prove the existence of a core of its multiverse?
The following theorem shows that the existence of a proper class of supercompact cardinals is not sufficient to prove the existence of the core, thus suggesting a potential threshold for the choice of T mentioned by Question 3.7.
Theorem 3.8.Assume there is a proper class of supercompact cardinals.Then there is a class forcing notion which forces that there exists a proper class of supercompact cardinals and there is no core.
Proof.First, force with a class-forcing iteration with Easton support in order to make every supercompact κ indestructible by < κ-directed-closed forcing (see [Apter, 1998]), followed by the Jensen's class-forcing iteration that forces the GCH.Standard arguments show that all the supercompact cardinals are preserved and no new supercompact cardinals are created.Over the generic extension, make again all supercompact cardinals κ indestructible by < κdirected-closed forcing (which preserves the GCH and does not create new supercompact cardinals) and call the resulting model V [G].Now force with a class-forcing iteration P with Easton support that forces a version of the Continuous Coding Axiom (CCA), similarly as in [Reitz, 2007], which codes every set of ordinals proper-class-many times into the power-set function on the class S of supercompact cardinals that are not limit of supercompact cardinals.Again, standard arguments show that all supercompact cardinals in S are preserved and no new supercompact cardinals are created.
where Q(κ) is the forcing for adding a Cohen subset of κ, if κ is in S, and is the trivial forcing otherwise.Let the resulting model be V Ord) .Also note that, since κ is not a limit of supercompact cardinals, sup(S ∩ κ) < κ.So, Q κ factors as Q sup(S∩κ) × Q(κ), where Q(κ) is the forcing that adds a Cohen subset of κ.The product Q sup(S∩κ) × Q(κ) is equivalent, as a forcing notion, to Q(κ)× Q sup(S∩κ) .Also, since Q sup(S∩κ) has cardinality less than κ and Q(κ) does not add new bounded subsets of κ, Q(κ) × Q sup(S∩κ) is equivalent to Q(κ) * Q sup(S∩κ) .Now, since Q(κ) is < κ-directed closed it preserves the supercompactness of κ, and then so does Q sup(S∩κ) subsequently, since it has cardinality less than κ.Moreover, Q κ forces that Q [κ+1,Ord) is < κ-directed-closed, and therefore it also preserves the supercompactness of κ.Since κ <κ = κ for every κ ∈ S, the forcing Q preserves cardinals and the power-set function.Now we may argue similarly as in [Reitz, 2007] to show that every ground of V [G][H 0 ][H 1 ] has a proper subground, hence there is no core. 44For suppose W is a ground of and W agree on the values of the power-set function for a tail of elements of S, as well as on statements of the form "κ is the α-th element of S" for a tail of cardinals κ in S, every element of let κ in S be greater than |P|, and let h κ be the Cohen generic subset of κ added by H. Since V [G][H 0 ] ⊆ W , every condition of the forcing Q(κ), therefore every bounded subset of h κ , belongs to W . Hence, since the pair W, W [h] satisfies the κ-approximation property, h κ ∈ W . Thus, writing H 1 as the product is a ground of W . Now, if κ 0 < κ 1 are the first two members of 44 [Reitz, 2007], Theorem 3.9, p. 1309.

S greater than
hance also a proper ground of W .Therefore, although no formal evidence may currently be provided, it is reasonable to conjecture, that, as a consequence of Theorem 3.8, no LCA of consistency strength lower than that of 'there exists an extendible cardinal' will be sufficient to prove the existence of the core.However, more work is needed to shed further light on the issue.

The Core and CH
We know that, under certain assumptions on T , the core of the multiverse of MV T exists, so it makes sense to find out what features it has and, based on these, what it may reveal to us about such undecidable statements as CH.In particular, we would like to address the following question: Question 4.1.Does MV T prove that the core satisfies the CH, where T = ZFC+'there exists a class of extendible cardinals'?
The question may, in fact, extend to any other statement ϕ which is not decided by ZFC.In particular, for each such ϕ, one may ask whether the core implies the truth or falsity of ϕ.
The results which follow provide answers to such questions, and, overall, starkly expose the indeterminacy of the core.We, first, outline the mathematical strategy for CH.
If the core exists, then it satisfies GA, namely, it does not have any proper grounds.[Reitz, 2007] proved that every model of ZFC has a class-forcing extension which preserves any desired V α , satisfies V=HOD, and is a model of ZFC+GA. 45By results in [Bagaria and Poveda, 2021], the class-forcing used to obtain the model preserves extendible cardinals.So, starting with a model M satisfying T = ZFC+'There is a proper class of extendible cardinals' we may class-force over it to obtain a model M [H] of T satisfying GA and, e.g., ¬CH.And then by forcing with Coll(ω, < Ord) M[H] over M [H] we obtain a model of MV T whose core is M [H] and satisfies ¬CH.
Now we show how this strategy can be extended to all Σ 2 set-forceable statements ϕ: Theorem 4.2.Let ϕ be a Σ 2 -statement (with parameters) that can be forced by set forcing.Assume there is a proper class of extendible cardinals.Then in some classforcing extension of V that preserves extendible cardinals the statement ϕ holds in the core of MV's multiverse built around the extension itself.
Proof.First force ϕ by set forcing.In the forcing extension let κ ∈ C (1) be such that V κ |= ϕ.Then force the GCH above κ, in the usual way using class forcing, so that V κ is not changed.As in [Reitz, 2007], we may further class-force to get a model of GA, so that V κ is still unchanged.By results contained in [Tsaprounis, 2014] and [Bagaria and Poveda, 2021], both class-forcing notions preserve extendible cardinals. 46Hence, since the final extension M satisfies the GA, if G is Coll(ω, < Ord) M -generic over M , then the core of the MV multiverse given by M G , which exists because in M there exists a proper class of extendible cardinals, is M itself.Also, since V κ has not been changed and satisfies ϕ, in M we have that V κ |= ϕ and, moreover, κ ∈ C (1) , because being in C (1) is characterized by being uncountable and satisfying V κ = H κ .Hence, M |= ϕ.
Corollary 4.3.If T = ZFC+'There exists a proper class of extendible cardinals' is consistent, then so is MV T plus that the core satisfies the CH, or ¬CH, with any possible value of the size of the continuum.
Besides the CH and ¬CH there are many other relevant Σ 2 statements that are set-forceable, and therefore consistently hold in the core of the MV T multiverse.We give next a couple more examples.
Corollary 4.4.If T as above is consistent, then so is MV T plus that the core satisfies ω2 , or its negation.
The well-known forcing axiom MA ℵ1 is also equivalent to a Σ 2 statement, with ℵ 1 as a parameter.Thus, Theorem 4.2 yields the following: Corollary 4.5.If T as above is consistent, then so is MV T plus that the core satisfies MA ℵ1 .

The Core and Strong Forcing Axioms
Corollary 4.5 helps us to introduce, in fuller generality, the examination of the behaviour of the core with respect to forcing axioms.Now, what has neatly come to surface is that the core of MV T , where T may, and even may not, have extendible cardinals, is also consistent with strong forcing axioms.Corollary 3.8 of [Reitz, 2007] already proves that the Proper Forcing Axiom (PFA) is consistent with the GA. 47We extend this result also to MM, MM ++ , etc.
exists a filter G ⊆ P that is generic for {D α : α < ω 1 } (i.e., G ∩ D α = ∅, all α), and such that σ α [G] is a stationary subset of ω 1 , all α.It is well-known that MM ++ can be forced, assuming the existence of a supercompact cardinal.
Theorem 4.6.If ZFC plus the existence of a supercompact cardinal is consistent, then so is MM ++ plus GA.
Proof.Let V satisfy ZFC plus the existence of a supercompact cardinal.Force over V to obtain a model of ZFC plus MM ++ .Call this model V [Reitz, 2007]).We claim that MM ++ holds in For suppose τ is a P-name for a poset that preserves stationary subsets of ω 1 , { Ḋα : α < ω 1 } is a P-name for a collection of dense open subsets of τ , and { σα : α < ω 1 } is a P-name for a collection of τ -names for stationary subsets of ω 1 .Let λ be a large enough cardinal such that τ and Ḋα : α < ω 1 and { σα : α < ω 1 } are P λ -names.Since P λ is ω 2 -directed-closed, arguing similarly as in [Larson, 2000], we can show that P λ preserves MM ++ .We claim that in preserves stationary subsets of ω 1 : For suppose S ⊆ ω 1 is stationary and Ċ is a τ [H λ ]-name for a club subset of ω 1 .Since the remaining part of the iteration does not add any new subsets of ω 1 , S is also stationary in V [G][H].Moreover, since being a club is absolute for transitive models, and every τ preserves stationary subsets of ω 1 , we have that τ [H] " Š ∩ Ċ = ∅".But the latter is absolute for transitive models, and so it holds in It follows from the theorem above that if T = ZFC+'there exists a supercompact cardinal' is consistent, then so is that the core of MV T satisfies MM ++ .Also, since the class-iteration P that forces the GA preserves extendible cardinals,48 if the theory T = ZFC+'there exists a proper class of extendible cardinals' is consistent, then so is MV T plus that the core satisfies MM ++ .Moreover, in both cases, by results in [Asper ò and Schindler, 2021], the core also satisfies Woodin's ( * ) axiom.

Probing Steel's Programme: The Core as Ultimate-L
Let's take stock.All the results illustrated in sections 3 and 4 show that, assuming a proper class of extendible cardinals, the core of the multiverse of MV exists, but is still a highly indeterminate object.In particular, we have seen that the core may satisfy any of the strongest known forcing axioms, all of which imply that the continuum has size ℵ 2 , and it may also satisfy CH, and, for that matter, any other Σ 2 set-forceable statement, with parameters (Theorem 4.2).Two immediate considerations are in order.The first is that, based on the provable, under certain assumptions, existence of the core of the multiverse of MV, the Universist may now be licensed to shift to the Core Universist view that V is the core, by settling on a theory, in L ∈ , which states this explicitly, that is, a theory which contains V = C as an axiom (henceforth, C will be our designated symbol for the core); in the next section we will examine this possibility in more detail. 49The second one is that, as a consequence of the persistent indeterminacy of the core also in the presence of LCs, even if the Core Universist decided to settle on V = C as the correct extension of ZFC+LCs, she wouldn't still be able to fix the features of the core, and thus, the truth-value, in L ∈ , of the undecidable statements.
So, it is time for Steel's Programme to kick in, and, in the next subsections, we will examine its execution and assess its prospects.

Ultimate-L and MV
In recent years, as a consequence of the far-reaching developments of the inner model programme, the possibility of the existence of a canonical inner model for a supercompact cardinal is emerging.Woodin has called such a model Ultimate-L, insofar as this model would incorporate all features of an L-like inner model, as well as all LCs, thus leading to the completion of the inner model programme itself. 50If such a model exists, then one could say that it represents an 'optimal' approximation of V , something which would justify viewing the axiom V =Ultimate-L as the most natural extension of ZFC, and [Steel, 2014] has precisely taken into account such a possibility. 51n this subsection, we will first be concerned with mathematical results about Ultimate-L and the core and, in the next one, we will articulate the Core Universist position based on these results.We start with Woodin's definition of the axiom V =Ultimate-L.

Definition 5.1 (V =Ultimate-L). The axiom V =Ultimate-L asserts:
1.There is a proper class of Woodin cardinals, and 49 See also a discussion of this in [Maddy and Meadows, 2020], p. 146. 50See footnote 3.For an accessible overview of the inner model programme, see [Jensen, 1995]; for technical results, [Devlin, 1984], or [Kanamori, 2009]. 51Although, in that work, Woodin's Ultimate-L Conjecture is not directly addressed.See further, subsection 5.2.

For each
Woodin has shown that V =Ultimate-L implies the CH. 52It also implies the Ground Axiom, i.e., that V is not a set-generic extension of any inner model, and that V =HOD.Woodin has made the following conjecture.First, recall that an inner model N is a weak extender model for the supercompactness of δ if for every λ ≥ δ there is a normal fine measure U on P δ λ such that: Conjecture 5.2 (Woodin's Ultimate-L Conjecture).Suppose that δ is an extendible cardinal.Then there is an inner model N ⊆ HOD such that: 1. N is a weak extender model for the supercompactness of δ.

N |='V =Ultimate-L'.
Now, crucially for our purposes, if the Ultimate-L Conjecture holds, then letting T be the theory ZFC+'There exists a proper class of extendible cardinals' we have that MV T proves that the core has an inner model V which is contained in HOD, and satisfies V =Ultimate-L.Moreover, by Woodin's Universality Theorem, 53 V satisfies that there exists a proper class of extendible cardinals.However, V need not be a world itself, but, if it is so, then V is the core.So, here follows the first result of this subsection: Proposition 5.3.Let T be ZFC+'There exists a proper class of extendible cardinals'.Then MV T proves that the following are equivalent: 1.There exists a world satisfying 'V =Ultimate-L' Proof.Let M G be a model of MV T , and let W be a world in M G that satisfies V =Ultimate-L.Then W is a ground of some world.But W has no proper grounds, hence since M V T implies that the core exists and is the mantle, W must be contained in the core, and therefore it must be the core.
The following two propositions nail down the consistency of V =Ultimate-L with MV T (where T = ZFC+'there exists a class of extendible cardinals'), assuming V =Ultimate-L's own consistency.
Proposition 5.4.Let T be ZFC+'There exists a proper class of extendible cardinals'.If T +'V = Ultimate-L' is consistent, then so is MV T plus 'C |= T+V =Ultimate-L'.
[Woodin, 2017], p. 16, Theorem 3.26.As said there, the Universist might tentatively interpret the L ∈ -translate of the L MV -sentence 'the core exists' as suggesting ('practically implying') the view that V is the core.Syntactically, this would correspond to adopting the theory ZFC+LCs+V = C. So, our Universist could, provisionally, settle on such a theory as the ultimate extension of ZFC.However, as we know, the core is a highly indeterminate object, so V = C wouldn't be very informative.By contrast, if our Universist interpreted the L ∈ -translate of 'the core exists' as suggesting that V =Ultimate-L, then she would be able to determinately fix the features of the core, and would get V = C as a bonus.To be more precise, in the presence of such an interpretation, ZFC+LCs+V =Ultimate-L would prove that CH, as expressed in L ∈ , is equivalent to t('CH holds in the core'), and this strategy may be extended to all ϕ's in L ∈ which aren't decided by T = ZFC+LCs.
So far so good, but is this strategy really workable?In fact, as we would like to point out, there may be severe hindrances in the way of its execution.First of all, if one looks at the functioning of (Transl), the L MV -sentence 'the core exists', doesn't literally translate to the L ∈ -sentence 'V is the core', let alone to 'V =Ultimate-L' (see Definition 2.4).Therefore, some less quick, and more subtle kind of reasoning might underlie the adoption of V = C on the Universist's part, and this may have to do with the definability of the core in MV.As we know, if MV has a definable world, then it has a unique definable world (cf.Theorem 3.4).Now, we know that the core is definable, and since there is just one such object in MV, MV's unique definable world is the core itself.Therefore, the Core Universist might thrive on considerations about the definability of the core within MV, and see these as strongly suggesting that V = C.But even if this argument ultimately persuaded us to adopt V = C, it wouldn't be sufficient to persuade us to adopt V =Ultimate-L, anyway.
For a different strategy, we could think that what we'd need here to make the L ∈ -translate of the L MV -sentence 'the core exists' suggest that 'V =Ultimate-L', would be some strengthening of T in the theory MV T .As we shall see, unfortunately, all such strengthenings will produce results which are not fully satisfactory.
Two main cases are possible.First, take T to be theory ZFC+LCs+V = Ultimate-L, and consider MV T .The theory could, potentially, do the required job, but it is inconsistent.The reason is, any model of such theory would violate Axiom 4 of MV, as no forcing extension of MV could be a world satisfying T .A more modest strengthening of T , on the other hand, might suit our purposes.Take T to be: ZFC+LCs+'C |= V =Ultimate-L', then the L ∈ -translate of 'the core is Ultimate-L' would be a lot closer to what we'd need to have at hand, but, still, the translation wouldn't automatically imply 'V is the core'.But there's also another trouble with this choice of T : the axiom 'C |= V =Ultimate-L' wouldn't, prima facie, seem to be justified on the grounds of MV's very evidential framework, so the only reason why one would add it to T in MV T would have to do with other, 'external', reasons, such as, (1.)-(3.)above, or our prior belief in the correctness of V =Ultimate-L, but now relying on such reasons, somehow, would beg the question of why the Core Universist should adopt V =Ultimate-L.
But maybe there are ways to make 'C |=V=Ultimate-L' justified on the grounds of MV's very evidential framework.We proceed to examine arguments potentially to that effect in the next subsections.

Woodin's Argument for Ultimate-L
The first argument derives from Woodin's own reflections on the philosophical aspects of Conjecture 5.2 (Ultimate-L exists).
In [Woodin, 2011], Woodin has proposed to construe the Inner Model Programme as the expression of the fundamentally non-formalistic character of set theory.Woodin's Argument, as we shall call it, first introduces two different positions about set-theoretic truth, the Skeptic's and the Set-Theorist's.
• Set-theorist: set-theoretic theorems are truths about an existing realm of mathematical objects.Now, Woodin argues that the dialectic between the Skeptic and the Set-Theorist reaches its climax on the issue of the consistency of LCs: the Skeptic holds that the consistency of LCs is a purely finitistic fact (Skeptic's Retreat), whereas the Set-Theorist believes that it depends on intuitions about universes which contain them, in particular, canonical inner models.In order to further articulate the Set-Theorist's position, Woodin formulates the following principle: Set-Theorist's Cosmological Principle (SCP).A Large Cardinal Axiom is consistent if and only if there is an inner model which satisfies it; the prediction of its consistency is true, because LCAs are true.
Woodin also indicates concrete ways in which SCP might be disconfirmed and the Skeptic's Retreat be validated, for instance, by finding a proof that the consistency (inconsistency) of one specific LCA, implies the consistency (or inconsistency) of all LCAs. 57Woodin then proceeds to make considerations about the possibility that, if the Ultimate-L Conjecture is true, then we may have a situation where the scenario evoked by the Skeptic's Retreat is not applicable. 58e shall entirely leave aside the issue of the plausibility of Woodin's Argument, and exclusively focus on the potential usefulness of the argument for 57 This would be the case, as shown by Woodin, if one found a proof of the consistency of ZF+'there exist Reinhardt cardinals', as the consistency of such theory would, in turn, imply the consistency of ZFC+'there is a proper class of ω-huge cardinals'.The latter, in turn, implies all LCA known to be consistent with AC, so by a single proof, we would have a proof of the consistency of all LCs compatible with AC; cf.[Woodin, 2011], pp. 456-57. 58 If Ultimate-L exists, then we would know what large cardinals are and what are not in it, and, thus, by the SCP, we would know what large cardinals are consistent (as Ultimate-L is a generalisation of all inner models for each single LC).The prediction of the consistency of all LCs based on inner models would thus reduce to the prediction of the existence of an ultimate core model which has all of them, and which would overall provide evidence for a single prediction of consistency of all LCs; cf.[Woodin, 2011], p. 463.our Core Universist.The argument revolves around the idea that our belief in the correctness of all LCs is based on the belief that they are consistent, in turn, via SCP, that they have inner models.Thus, Woodin's Argument practically suggests that, if one sees LCs as the 'right' extensions of ZFC, it is because one views them as consistent via inner models.So, the reasoning goes, once one commits oneself to all LCs, as the MV supporter does, then, there is a (thick) sense in which one also commits oneself to Ultimate-L, that is, to Conjecture 5.2.But then, if Ultimate-L exists, it should be a definable world and, thus, based on Theorem 3.4, it would be the core; the correctness of 'C |=V=Ultimate-L' would thus finally be vindicated, seemingly, on MV's own evidential grounds.
However, the argument has two main problems for our MV-based Core Universist.
The first one is that the evidential resources it invokes (truth, consistency predictions, etc.) are not, in fact, available to her.Steel's conception prides itself on not being dependent on any 'metaphysics' of universes.Therefore, intuitions about the structure of models with LCs, which underlie Woodin's Argument and SCP, if argumentatively efficacious, may not bear on our Core Universist's acceptance of 'C |=Ultimate-L'.
The other one is that, by using Woodin's Argument in the present context, then the Core Universist would become practically indistinguishable from the Classic Universist who supports V =Ultimate-L: even coming from slightly different backgrounds, both would, indeed, agree on the fact that there is one universe of set theory (Ultimate-L) which is preferable to all others from the beginning, and it does not seem that the MV supporter's evidential framework would commit her to such a view.
Let us now move on to explore another potential justificatory strategy.

An Extrinsic Argument
A different argument is based on resuming Steel's reasons to adopt V =Ultimate-L (1.)-(3.)stated in section 5.2: these, overall, suggest to the Core Universist that V =Ultimate-L is a very successful axiom, which could be seen as being already justified 'extrinsically' -insofar as practically all undecidable statements are settled by it.More precisely, the Core Universist might use a form of 'regressive' reasoning here: she will require MV T to incorporate 'C |=V=Ultimate-L' in T , because she takes 'V =Ultimate-L' to be an already independently justified axiom.
However, in section 5.2, we have already hinted at the inherent limitations of this strategy: MV would no longer be used as a means to indicate what bits of L ∈ ought to be believed to be 'meaningful' (to legitimately hold); on the contrary, it would be L ∈ to provide us information about what specific T should be chosen in MV T .In other terms, the Core Universist wanting to use this 'extrinsic' argument would, ultimately, violate her own unbiasedness about all different theories expressed by MV.
Another, more general, concern is that V =Ultimate-L isn't the only successful axiom she has at hand.In particular, since she knows that the core need not be Ultimate-L, and that T in MV T is consistent with 'C |=V=Ultimate-L' (Theorem 5.6), the Core Universist could ultimately settle on other, equally successful, axioms for the core.For instance, she might want to adopt 'C |= MM ++ ', as MM ++ implies that c = ℵ 2 , and is clearly able to settle many other undecidable statements.
One final worry about the argument, which is worth mentioning, is that 'success' wasn't really part of Steel's narrative concerning MV from the beginning, although, clearly, LCs may be interpreted as being very 'successful' axioms.We do not want to delve into the full intricacies of the topic, but 'success' may really be a very volatile criterion, which, although helpful, not lead the Core Universist to make ultimate choices about the nature of MV.

Summary
Let's take stock.The progression from ZFC to T = ZFC+LCs+'C |=V=Ultimate-L', summarised in the table below, shows that ascending through interpretative power (and consistency strength) of theories, is, presently, insufficient to suggest to the Core Universist that V is the core, or that V is any specific 'world', for instance, Ultimate-L.As we have seen, on the one hand, by adding further hypotheses to T in MV T , one may get an inconsistent theory; on the other, one could make choices, such as the addition of 'C |=V=Ultimate-L', which, however, on MV's own evidential grounds, do not seem to be much justified.This, overall, leaves us with the following, somewhat unpalatable, dilemma: either to stay with T = ZFC+LCs, in MV T and, thus, view the core as fundamentally indeterminate, or move to a, globally, less justified strengthening of T , but finally get a determinate core.

Concluding Remarks and Ways Forward
Based on what one can prove in the theory MV T , where T = ZFC+'there exists a proper class of extendible cardinals', and further potential strengthenings, we have assessed the prospects of what we have called Steel's Programme, and of the corresponding philosophical position that we have called Core Universism.
Our tentative conclusion is that there might still be a long way to go before the view that the core is Ultimate-L and, consequently, that V =Ultimate-L is the ultimate axiom for the Core Universist, gets fully validated; meanwhile, as is clear, V =Ultimate-L might ultimately be accepted on entirely different grounds.
We conclude the paper with suggesting some possible future scenarios for the investigation of the 'core hypothesis' within MV: First Scenario.Stronger, hitherto unknown, LCs will, 'more determinately', settle the features of the core.
The idea, here, is that further ascending through consistency strength in an ideally 'richer' large-cardinal hierarchy will help settle the features of the core.Clearly, at present, nobody could possibly foresee whether there will be concrete developments in this direction, but note that Usuba's key theorem (Theorem 3.5) has set an interesting precedent for results in this area which were widely unexpected.59 Second Scenario.The 'core hypothesis' will ultimately be taken to just be a theoretical tool to foster and study the interplay between multiverse and universe thinking while dealing with set-theoretic incompleteness.
The scenario above construes Steel's efforts as going in the direction of clarifying, not prescribing solutions for, the issues of whether there is a core universe and of what the core should be like.In this scenario, the core hypothesis would not, per se, suggest a unique course of action for Universists, yet may be taken to be informative on what resources and additional hypotheses are needed if one wants to settle the undecidable statements.60Third Scenario.The issue of the existence of a 'preferred universe' will be declared to be insoluble on purely proof-theoretic grounds (that is, by just focussing on the relationship between multiverse language and language of set theory), whilst further conceptual resources will ultimately be seen as fundamental to solve it.
As we have seen, Woodin's Argument, for instance, provides us with alternative resources to solve the issue of what counts as a 'preferred' universe.Now, one could conjecture that it will turn out to be inevitable to resort to this kind of arguments to meet the Core Universist's requirements.
In the paper, we have also addressed and, by our lights, made more transparent, several features, both mathematical and philosophical, of MV: in particular, the proof of the existence of the core, its persistent indeterminacy over different choices of T for MV T , the mathematics of Ultimate-L and MV, the jus-tifiability and role of LCs.Now, further mathematical work is, already at this stage, needed in order to further assess MV's hypotheses.In particular, ideally, much more should be known about: • The status of the Ultimate-L Conjecture • The prospects of a unified account of LCs • A better understanding of the notion of 'canonicity' with respect to (alternative) models of set theory We expect that further enlightenment on these issues will also carry with itself a more detailed understanding of what the Core Universist may legitimately claim, based on the structure of the multiverse.But, as we have seen, definite answers to many issues concerning MV, some confirming, others disconfirming, the Core Universist's expectations, can already be provided.

Table 1 :
Behaviour of MV T with respect to the core for different choices of T .