We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on $\mathsf {IKP}$ and $\mathsf {CZF}$. Most previously studied large set axioms, notably, the constructive analogues of large cardinals below $0^\sharp $, have proof-theoretic strength weaker than full Second-Order Arithmetic. On the other hand, the situation is dramatically different for those defined via elementary embeddings. We show that by adding to $\mathsf {IKP}$ the basic properties of an elementary embedding $j\colon V\to M$ for $\Delta (...) _0$ -formulas, which we will denote by $\Delta _0\text {-}\mathsf {BTEE}_M$, we obtain the consistency of $\mathsf {ZFC}$ and more. We will also see that the consistency strength of a Reinhardt set exceeds that of $\mathsf {ZF+WA}$. Furthermore, we will define super Reinhardt sets and $\mathsf {TR}$, which is a constructive analogue of V being totally Reinhardt, and prove that their proof-theoretic strength exceeds that of $\mathsf {ZF}$ with choiceless large cardinals. (shrink)

Let M be a short extender mouse. We prove that if $E\in M$ and $M\models $ “E is a countably complete short extender whose support is a cardinal $\theta $ and $\mathcal {H}_\theta \subseteq \mathrm {Ult}(V,E)$ ”, then E is in the extender sequence $\mathbb {E}^M$ of M. We also prove other related facts, and use them to establish that if $\kappa $ is an uncountable cardinal of M and $\kappa ^{+M}$ exists in M then $(\mathcal {H}_{\kappa ^+})^M$ satisfies the (...) Axiom of Global Choice. We prove that if M satisfies the Power Set Axiom then $\mathbb {E}^M$ is definable over the universe of M from the parameter $X=\mathbb {E}^M\!\upharpoonright \!\aleph _1^M$, and M satisfies “Every set is $\mathrm {OD}_{\{X\}}$ ”. We also prove various local versions of this fact in which M has a largest cardinal, and a version for generic extensions of M. As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models “ $V=\mathrm {HOD}$ ”. This adapts to many other similar examples. We also describe a simplified approach to Mitchell–Steel fine structure, which does away with the parameters $u_n$. (shrink)

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. (shrink)

We consider of constructing normal ultrafilters in extensions are here Easton support iterations of Prikry-type forcing notions. New ways presented. It turns out that, in contrast with other supports, seemingly unrelated measures or extenders can be involved here.

Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely determines the elementary embedding.

Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf {GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.

We construct a model in which the tree property holds in ${\aleph _{\omega + 1}}$ and it is destructible under $Col\left( {\omega,{\omega _1}} \right)$. On the other hand we discuss some cases in which the tree property is indestructible under small or closed forcings.

Assuming the Generalized Continuum hypothesis, this paper answers the question: when is the tensor product of two ultrafilters equal to their Cartesian product? It is necessary and sufficient that their Cartesian product is an ultrafilter; that the two ultrafilters commute in the tensor product; that for all cardinals $\lambda $, one of the ultrafilters is both $\lambda $ -indecomposable and $\lambda ^+$ -indecomposable; that the ultrapower embedding associated with each ultrafilter restricts to a definable embedding of the ultrapower of the (...) universe associated with the other. (shrink)

We show the consistency, relative to the appropriate supercompactness or strong compactness assumptions, of the existence of a non-supercompact strongly compact cardinal $\kappa _0$ (the least measurable cardinal) exhibiting properties which are impossible when $\kappa _0$ is supercompact. In particular, we construct models in which $\square _{\kappa ^+}$ holds for every inaccessible cardinal $\kappa $ except $\kappa _0$, GCH fails at every inaccessible cardinal except $\kappa _0$, and $\kappa _0$ is less than the least Woodin cardinal.

In this paper, we characterize the possible cofinalities of the least $\lambda $ -strongly compact cardinal. We show that, on the one hand, for any regular cardinal, $\delta $, that carries a $\lambda $ -complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above $\delta $, that the least $\lambda $ -strongly compact cardinal has cofinality $\delta $. On the other hand, provably the cofinality of the least $\lambda $ -strongly compact cardinal always carries a (...) $\lambda $ -complete uniform ultrafilter. (shrink)

We answer a question of Usuba by showing that the combinatorial principle $\mathrm {UB}_\lambda $ can fail at a singular cardinal. Furthermore, $\lambda $ can be taken to be $\aleph _\omega.$.

We investigate pseudopowers of singular cardinals and deduce some consequences for covering numbers at singular cardinals of uncountable cofinality.

In [15] we defined and proved the consistency of the principle upper G upper M Superscript plus Baseline left parenthesis omega 3 comma omega 1 right parenthesis $\mathrm {GM}^+(\omega _3,\omega _1)$ GM+(ω3,ω1) which implies that many consequences of strong forcing axioms hold simultaneously at omega 2 $\omega _2$ ω2 and omega 3 $\omega _3$ ω3. In this paper we formulate a strengthening of upper G upper M Superscript plus Baseline left parenthesis omega 3 comma omega 1 right parenthesis $\mathrm {GM}^+(\omega (...) _3,\omega _1)$ GM+(ω3,ω1) that we call upper S upper G upper M Superscript plus Baseline left parenthesis omega 3 comma omega 1 right parenthesis $\mathrm {SGM}^+(\omega _3,\omega _1)$ SGM+(ω3,ω1). We also prove, modulo the consistency of two supercompact cardinals, that upper S upper G upper M Superscript plus Baseline left parenthesis omega 3 comma omega 1 right parenthesis $\mathrm {SGM}^+(\omega _3,\omega _1)$ SGM+(ω3,ω1) is consistent with ZFC. In addition to all the consequences of upper G upper M Superscript plus Baseline left parenthesis omega 3 comma omega 1 right parenthesis $\mathrm {GM}^+(\omega _3,\omega _1)$ GM+(ω3,ω1), the principle upper S upper G upper M Superscript plus Baseline left parenthesis omega 3 comma omega 1 right parenthesis $\mathrm {SGM}^+(\omega _3,\omega _1)$ SGM+(ω3,ω1), together with some mild cardinal arithmetic assumptions that hold in our model, implies that any forcing that adds a new subset of omega 2 $\omega _2$ ω2 either adds a real or collapses some cardinal. This gives a partial answer to a question of Abraham [1] and extends a previous result of Todorčević [16] in this direction. (shrink)

We show that the weakest versions of Foreman’s minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.

This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the (...) existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9). (shrink)

Abstract(1)We show that it is possible to add $\kappa ^+$ -Cohen subsets to $\kappa $ with a Prikry forcing over $\kappa $. This answers a question from [9].(2)A strengthening of non-Galvin property is introduced. It is shown to be consistent using a single measurable cardinal which improves a previous result by S. Garti, S. Shelah, and the first author [5].(3)A situation with Extender-based Prikry forcings is examined. This relates to a question of H. Woodin.

This thesis presents my contributions to various aspects of the theory of universally Baire sets. One of these aspects is the smallest inner model containing all reals whose all sets of reals are universally Baire (viz., $L(\mathbb {R})$ ) and its relation to its inner model $\mathsf {HOD}$. We verify here that $\mathsf {HOD}^{L(\mathbb {R})}$ enjoys a form of local definability inside $L(\mathbb {R})$, further justifying its characterization as a “core model” in $L(\mathbb {R})$. We then study a “bottom-up” construction (...) of more complicated universally Baire sets (more generally, determined sets). This construction allows us to give an “L-like” description of the minimum model of $\mathsf {AD}_{\mathbb {R}} + \mathsf {Cof}(\Theta ) = \Theta $. A consequence of this description is that this minimum model is contained in the Chang-plus model. Our construction, together with Woodin’s work on the Chang-plus model, shows that a proper class of Woodin cardinals which are limits of Woodin cardinals implies the existence of a hod mouse with a measurable limit of Woodin cardinals whose strategy is universally Baire.Another aspect of the theory of universally Baire sets is the generic absoluteness and maximality associated with them. We include some results concerning generic $\Sigma _1^{H(\omega _2)}$ -absoluteness with universally Baire sets as predicates or parameters, as well as generic $\Pi _2^{H(\omega _2)}$ -maximality with universally Baire sets as predicates. In the second case, we are led to consider the general question of when a model of an infinitary propositional formula can be added by a stationary-set-preserving poset. We characterize when this happens in terms of a game which is a variant of the Model Existence Game. We then give a sufficient condition for this in terms of generic embeddings.Abstract taken directly from the thesisE-mail:[email protected]: https://hal.science/view/index/docid/5273407. (shrink)

In this paper, we study the notion of a generically extendible cardinal, which is a generic version of an extendible cardinal. We prove that the generic extendibility of ω1 or ω2 has small consistency strength, but that of a cardinal >ω2 does not. We also consider some results concerned with generically extendible cardinals, such as indestructibility, generic absoluteness of the reals, and Boolean-valued second-order logic.

Adding higher types to set theory differs from adding inaccessible cardinals, in that higher type arguments apply to all sets rather than just ordinary ones. Levy's reflection axiom is justified, by considering the principle that we can pretend that the universe is a set, together with methods of Gaifman [8]. We reprove some results of Gaifman, and some facts about Levy's reflection axiom, including the fact that adding higher types yields no new theorems about sets. Some remarks on standard models (...) are made. An obvious strengthening of Levy's axiom to higher types is considered, which implies the existence of indescribable cardinals. Other remarks about larger cardinals are made; some questions of Gloede [9] are settled. Finally we argue that the evidence for V = L is strong, and that CH is certainly true. MSC: 03E30, 03E55. (shrink)

We consider minimal ranks of extenders associated with Shelah cardinals by introducing witnessing numbers. Using these numbers we shall investigate effects of Shelah cardinals above themselves. MSC: 03E55.

We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal$M_1$, there is a model of$\mathsf {ZFC}$in which$\mbox {NS}_{\omega _{1}}$is$\aleph _2$-saturated and${\Delta }_{1}$-definable with$\omega _1$as a parameter which answers a question of S. D. Friedman and L. Wu. We also show that starting from an arbitrary universe with a Woodin cardinal, there is a model with$\mbox {NS}_{\omega _{1}}$saturated and${\Delta }_{1}$-definable with a ladder system$\vec {C}$and a full Suslin treeTas parameters. Both results rely on (...) a new coding technique whose presentation is the main goal of this article. (shrink)

Given a cofinal cardinal function $h\in {}^{\kappa }\kappa $ for $\kappa $ inaccessible, we consider the dominating h-localisation number, that is, the least cardinality of a dominating set of h-slaloms such that every $\kappa $ -real is localised by a slalom in the dominating set. It was proved in [3] that the dominating localisation numbers can be consistently different for two functions h (the identity function and the power function). We will construct a $\kappa ^+$ -sized family of functions h (...) and their corresponding localisation numbers, and use a ${\leq }\kappa $ -supported product of a cofinality-preserving forcing to prove that any simultaneous assignment of these localisation numbers to cardinals above $\kappa $ is consistent. This answers an open question from [3]. (shrink)

We show that under $\mathsf {BMM}$ and “there exists a Woodin cardinal, $"$ the nonstationary ideal on $\omega _1$ cannot be defined by a $\Pi _1$ formula with parameter $A \subset \omega _1$. We show that the same conclusion holds under the assumption of Woodin’s $(\ast )$ -axiom. We further show that there are universes where $\mathsf {BPFA}$ holds and $\text {NS}_{\omega _1}$ is $\Pi _1(\{\omega _1\})$ -definable. Lastly we show that if the canonical inner model with one Woodin cardinal (...) $M_1$ exists, there is a generic extension of $M_1$ in which $\text {NS}_{\omega _1}$ is saturated and $\Pi _1(\{ \omega _1\} )$ -definable, and $\mathsf {MA_{\omega _1}}$ holds. (shrink)

The classical Halpern–Läuchli theorem states that for any finite coloring of a finite product of finitely branching perfect trees of height ω, there exist strong subtrees sharing the same level set such that tuples in the product of the strong subtrees consisting of elements lying on the same level get the same color. Relative to large cardinals, we establish the consistency of a tail cone version of the Halpern–Läuchli theorem at a large cardinal (see Theorem 3.1), which, roughly speaking, deals (...) with many colorings simultaneously and diagonally. Among other applications, we generalize a polarized partition relation on rational numbers due to Laver and Galvin to one on linear orders of larger saturation. (shrink)

We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$ -degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2) a proper class of cardinals that are strong reflecting strongs. We in fact get weak indestructibility for degrees of strength far beyond $\kappa +2$, well beyond the next inaccessible limit of measurables (of the ground model). One direction is proven using forcing and the other using core model techniques from (...) inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed. This work is a part of my upcoming thesis [7]. (shrink)

Let M be a tame mouse modelling upper Z upper F upper C $\mathrm {ZFC}$ ZFC. We show that M satisfies “upper V equals upper H upper O upper D Subscript x $V=\mathrm {HOD}_x$ V=HODx for some real x”, and that the restriction upper E Superscript upper M Baseline backslash exclamation mark up harpoon with barb right backslash exclamation mark omega 1 Superscript upper M Baseline comma upper O upper R Superscript upper M Baseline right parenthesis $\mathbb {E}^M\!\upharpoonright \![\omega _1^M,\mathrm (...) {OR}^M)$ EM\!↾\!ω1M,ORM) of the extender sequence upper E Superscript upper M $\mathbb {E}^M$ EM of M to indices above omega 1 Superscript upper M $\omega _1^M$ ω1M is definable without parameters over the universe of M. We show that M has universe upper H upper O upper D Superscript upper M Baseline upper X $\mathrm {HOD}^M[X]$ HODMX, where upper X equals upper M vertical bar omega 1 Superscript upper M $X=M|\omega _1^M$ X=M|ω1M is the initial segment of M of height omega 1 Superscript upper M $\omega _1^M$ ω1M (including upper E Superscript upper M Baseline backslash exclamation mark up harpoon with barb right backslash exclamation mark omega 1 Superscript upper M $\mathbb {E}^M\!\upharpoonright \!\omega _1^M$ EM\!↾\!ω1M), and that upper H upper O upper D Superscript upper M $\mathrm {HOD}^M$ HODM is the universe of a premouse over some t subset of or equal to omega 2 Superscript upper M $t\subseteq \omega _2^M$ t⊆ω2M. We also show that M has no proper grounds via strategically sigma $\sigma $ σ-closed forcings. We then extend some of these results partially to non-tame mice, including a proof that many natural phi $\varphi $ φ-minimal mice model “upper V equals upper H upper O upper D $V=\mathrm {HOD}$ V=HOD”, assuming a certain fine structural hypothesis whose proof was almost established in Closson [1], and has since been completed in the preprint [14]. (shrink)

We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $\kappa $, updating some classical constructions in the process. This includes models of $\mathsf {CSR}(\kappa ^{++})\wedge {\sf TP}(\kappa ^{++})$ (both with and without ${\sf AP}(\kappa ^{++})$ ) and models of the conjunctions ${\sf SR}(\kappa ^{++}) \wedge \mathsf {wTP}(\kappa ^{++}) \wedge {\sf AP}(\kappa ^{++})$ and $\neg {\sf AP}(\kappa ^{++}) \wedge {\sf SR}(\kappa ^{++})$ (the latter was originally obtained in joint work by Krueger and (...) the first author [9], and is here given using different methods). Analogs of these results with the failure of $\sf {SH}(\kappa ^{++})$ are given as well. Finally, we obtain all of our results with an arbitrarily large $2^\kappa $, applying recent joint work by Honzik and the third author. (shrink)

We show that if κ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2 κ there is an L κ + κ -sentence φ such that the embeddability relation on its models of size κ, which are all trees, is Borel bi-reducible (and, in fact, classwise Borel isomorphic) to R. In particular, this implies that the relation of (...) embeddability on trees of size κ is complete for analytic quasi-orders on 2 κ. These facts generalize analogous results for κ = ω obtained in Louveau and Rosendal (2005) [17] and Friedman and Motto Ros (2011) [6], and it also partially extends a result from Baumgartner (1976) [3] concerning the structure of the embeddability relation on linear orders of size κ. (shrink)

We study the notion of tightly stationary sets which was introduced by Foreman and Magidor in [8]. We obtain two consistency results showing that certain sequences of regular cardinals${\langle {\kappa _n}\rangle _{n < \omega }}$can have the property that in some generic extension, every ground-model sequence of fixed-cofinality stationary sets${S_n} \subseteq {\kappa _n}$is tightly stationary. The results are obtained using variations of the short-extenders forcing method.

We construct a model in which all C-sequences are trivial, yet there exists a $\kappa $ -Souslin tree all of whose limit levels are vanishing levels. This provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen’s 1978 forcing construction, and by analyzing a gallery of $\kappa $ -cc forcing extensions of the outcome model.

We prove two general results about the preservation of extendible and $C^{(n)}$ -extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{(n)}$ -extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{(n)}$ -extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$ -definable behaviour of the power-set function on (...) regular cardinals. We show that one can force proper class-many disagreements between the universe and HOD with respect to the calculation of successors of regular cardinals, while preserving $C^{(n)}$ -extendible cardinals. We also show, assuming the GCH, that the class forcing iteration of Cummings–Foreman–Magidor for forcing $\diamondsuit _{\kappa ^+}^+$ at every $\kappa $ [10] preserves $C^{(n)}$ -extendible cardinals. We give an optimal result on the consistency of weak square principles and $C^{(n)}$ -extendible cardinals. In the last section prove another preservation result for $C^{(n)}$ -extendible cardinals under very general (not necessarily definable or weakly homogeneous) class forcing iterations. As applications we prove the consistency of $C^{(n)}$ -extendible cardinals with $\mathrm {{V}}=\mathrm {{HOD}}$, and also with $\mathrm {GA}$ (the Ground Axiom) plus $\mathrm {V}\neq \mathrm {HOD}$, the latter being a strengthening of a result from [14]. (shrink)

We show that if κ is a weakly compact cardinal then the embeddability relation on trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space View the MathML source there is an Lκ+κ-sentence φ such that the embeddability relation on its models of size κ, which are all trees, is Borel bi-reducible to R. In particular, this implies that the relation of embeddability on trees of size κ is complete for (...) analytic quasi-orders on View the MathML source. These facts generalize analogous results for κ=ω obtained in Louveau and Rosendal [17] and Friedman and Motto Ros [6], and it also partially extends a result from Baumgartner [3] concerning the structure of the embeddability relation on linear orders of size κ. (shrink)

We investigate iterating the construction of $C^{*}$, the L-like inner model constructed using first order logic augmented with the “cofinality $\omega $ ” quantifier. We first show that $\left (C^{*}\right )^{C^{*}}=C^{*}\ne L$ is equiconsistent with $\mathrm {ZFC}$, as well as having finite strictly decreasing sequences of iterated $C^{*}$ s. We then show that in models of the form $L[U]$ we get infinite decreasing sequences of length $\omega $, and that an inner model with a measurable cardinal is required for that.

We investigate properties of stationary tower forcings and give conditions on stationary towers which imply the universal Baireness of sets of reals in L(R).

We develop a new method for coding sets while preserving GCH in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications of this result. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

In this article, we introduce the notion of weakly measurable cardinal, a new large cardinal concept obtained by weakening the familiar concept of a measurable cardinal. Specifically, a cardinal κ is weakly measurable if for any collection equation image containing at most κ+ many subsets of κ, there exists a nonprincipal κ-complete filter on κ measuring all sets in equation image. Every measurable cardinal is weakly measurable, but a weakly measurable cardinal need not be measurable. Moreover, while the GCH cannot (...) fail first at a measurable cardinal, I will show that it can fail first at a weakly measurable cardinal. More generally, if κ is measurable, then we can make its weak measurability indestructible by the forcing Add for any η while forcing the GCH to hold below κ. Nevertheless, I shall prove that weakly measurable cardinals and measurable cardinals are equiconsistent. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity, strategic closure, and precipitousness.

The stable core, an inner model of the form $\langle L[S],\in, S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete (...) proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots, C_n]$ for specially nested class clubs $C_1, \dots, C_n$, like those arising in the stable core, generalizing recent results of Welch [29]. (shrink)

Cummings, Foreman, and Magidor proved that Jensen’s square principle is non-compact at $\aleph _\omega $, meaning that it is consistent that $\square _{\aleph _n}$ holds for all $n<\omega $ while $\square _{\aleph _\omega }$ fails. We investigate the natural question of whether this phenomenon generalizes to singulars of uncountable cofinality. Surprisingly, we show that under some mild ${{\mathsf {PCF}}}$ -theoretic hypotheses, the weak square principle $\square _\kappa ^*$ is in fact compact at singulars of uncountable cofinality.

We force a property of cardinals first proved relatively consistent by Sargsyan, that of being supercompact but not equation image-supercompact, starting from a model of set theory which does not satisfy equation image and that contains supercompact cardinals.

We prove an indestructibility theorem for degrees of supercompactness that is compatible with level by level equivalence between strong compactness and supercompactness.

We show that the character spectrum Spχ(λ) (for a singular cardinal λ of countable cofinality) may include any prescribed set of regular cardinals between λ and 2λ.

This paper reconstructs Steel’s multiverse project in his ‘Gödel’s program’ (Steel [2014]), first by comparing it to those of Hamkins [2012] and Woodin [2011], then by detailed analysis what’s presented in Steel’s brief text. In particular, we reconstruct his notion of a ‘natural’ theory, describe his multiverse axioms and his translation function, and assess the resulting status of the Continuum Hypothesis. In the end, we reconceptualize the defect that Steel thinks CH might suffer from and isolate what it would take (...) to remove it while working within his framework. As our goal is to present as coherent and compelling a philosophical and mathematical story as we can, we allow ourselves to augment Steel’s story in places (e.g., in the treatment of Amalgamation) and to depart from it in others (e.g., the removal of ‘meaning’ from the account). The relevant mathematics is laid out in the appendices. (shrink)

In providing a good foundation for mathematics, set theorists often aim to develop the strongest theories possible and avoid those theories that place undue restrictions on the capacity to possess strength. For example, adding a measurable cardinal to $ZFC$ is thought to give a stronger theory than adding $V=L$ and the latter is thought to be more restrictive than the former. The two main proponents of this style of account are Penelope Maddy and John Steel. In this paper, I’ll offer (...) a third account that is intended to provide a simple analysis of restrictiveness based on the algebraic concept of retraction in the category of theories. I will also deliver some results and arguments that suggest some plausible alternative approaches to analyzing restrictiveness do not live up to their intuitive motivation. (shrink)

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In the second part of the (...) article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (shrink)

Let P be a forcing notion and $G\subseteq P$ its generic subset. Suppose that we have in $V[G]$ a $\kappa{-}$ complete ultrafilter1,2W over $\kappa $. Set $U=W\cap V$.

After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. Lévy et. al. in the 1960s, we introduce new principles of reflection based on the general notion of Structural Reflection and argue that they are in strong agreement with the conception of reflection implicit in Cantor’s original idea of the unknowability of the Absolute, which was subsequently developed in the works of Ackermann, Lévy, Gödel, Reinhardt, and others. We then present a comprehensive survey of (...) results showing that different forms of the new principle of Structural Reflection are equivalent to well-known large cardinal axioms covering all regions of the large-cardinal hierarchy, thereby justifying the naturalness of the latter. (shrink)

This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes. An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting in AECs with amalgamation that satisfy a local definition of superstability. The key results are a downward transfer of symmetry and a (...) deduction of symmetry from failure of the order property. These results are then used to prove several structural properties in categorical AECs, improving classical results of Shelah who focused on the special case of categoricity in a successor cardinal. We also study the interaction of symmetry with tameness, a locality property for Galois types. We show that superstability and tameness together imply symmetry. This sharpens previous work of Boney and the second author. (shrink)

For each natural number n, let C(n) be the closed and unbounded proper class of ordinals α such that Vα is a Σn elementary substructure of V. We say that κ is a C(n)-cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C(n). By analyzing the notion of C(n)-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong (...) cardinals and up to the level of rank-into-rank embeddings, C(n)-cardinals form a much finer hierarchy. The naturalness of the notion of C(n)-cardinal is exemplified by showing that the existence of C(n)-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C(n)-extendible cardinals. (shrink)

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of $$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$ Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence (...) of the two notions is undecidable in ZFC. (shrink)