I provide indestructibility results for large cardinals consistent with V = L, such as weakly compact, indescribable and strongly unfoldable cardinals. The Main Theorem shows that any strongly unfoldable cardinal κ can be made indestructible by <κ-closed. κ-proper forcing. This class of posets includes for instance all <κ-closed posets that are either κ -c.c, or ≤κ-strategically closed as well as finite iterations of such posets. Since strongly unfoldable cardinals strengthen both indescribable and weakly (...) compact cardinals, the Main Theorem therefore makes these two large cardinal notions similarly indestructible. Finally. I apply the Main Theorem forcing extension preserving all strongly unfoldable cardinals in which every strongly unfoldable cardinal κ is indestructible by <κ-closed. κ-proper forcing. (shrink)

If κ is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which κ fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.

Using the lottery preparation, we prove that any strongly unfoldable cardinal $\kappa$ can be made indestructible by all.

We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.

Assuming, we show that generalized eventually narrow sequences on a strongly inaccessible cardinal κ are preserved under a one step iteration of the Hechler forcing for adding a dominating κ‐real. Moreover, we show that if κ is strongly unfoldable, and λ is a regular cardinal such that, then there is a set generic extension in which.

We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta}$$\end{document}-supercompact, for any desired θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta}$$\end{document}. In addition, we prove several global results showing how the entire class of weakly compactcardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of (...) weakly measurable cardinals or with the class of nearly θκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta_\kappa}$$\end{document}-supercompact cardinals κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, for nearly any desired function κ↦θκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa\mapsto\theta_\kappa}$$\end{document}. These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals. (shrink)

Rousseau’s political project consists in ensuring that the citizens of the social contract, in uniting with each other, preserve their ability to self-legislate, or be autonomous. For this to work, however, members of the social contract would need to feel intrinsically linked to the political whole. This essay investigates what that feeling might be and how it can be grown. I argue that Rousseau develops a model of the energy or character of the being capable of autonomy, capable of experiencing (...) themselves as part of the whole. That energy is a pathos of vigour, a strong sentiment and way of being that I develop from Rousseau’s educational precepts in Émile, which makes the citizen feel free and robust in dependence and boundedness. Autonomy, then, comes from the active exercise of oneself, physically and mentally, in an environment bounded by things, and this results in a sentiment of vigour, a vitality that produces confidence and poise, which then entices further activity. (shrink)

Unfoldable cardinals are preserved by fast function forcing and the Laver-like preparations that fast functions support. These iterations show, by set-forcing over any model of ZFC, that any given unfoldable cardinal κ can be made indestructible by the forcing to add any number of Cohen subsets to κ.

Let κ be a cardinal, and let H κ be the class of sets of hereditary cardinality less than κ ; let τ (κ) > κ be the height of the smallest transitive admissible set containing every element of {κ}∪H κ . We show that a ZFC-definable notion of long unfoldability, a generalisation of weak compactness, implies in the core model K, that the mouse order restricted to H κ is as long as τ. (It is known that some (...) weak large cardinal property is necessary for the latter to hold.) In other terms we delimit its strength as follows: Theorem Con(ZFC+ω2-Π 1 1-Determinacy) ⇒ ⇒Con(ZFC+V=K+∃ a long unfoldable cardinal ⇒ ⇒Con(ZFC+∀X(X # exists) + ‘‘ $\forall D \subseteq \omega_1 D$ is universally Baire ⇔ ∃r∈R(D∈L(r)))’’, and this is set-generically absolute). We isolate a notion of ω-closed cardinal which is weaker than an ω1-Erd\ os cardinal, and show that this bounds the first long unfoldable: Theorem Let κ be ω -closed. Then there is a long unfoldable ł<κ. (shrink)

Unfoldable cardinals are preserved by fast function forcing and the Laver-like preparations that fast functions support. These iterations show, by set-forcing over any model of ZFC, that any given unfoldable cardinal $\kappa$ can be made indestructible by the forcing to add any number of Cohen subsets to $\kappa$.

This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of Woodin’s HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of (...) levels of the cumulative hierarchy. We prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable [Formula: see text]-Jónsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD. (shrink)

We show that in the [Formula: see text] extension of a certain Chang-type model of determinacy, if [Formula: see text], then the restriction of the club filter on [Formula: see text] Cof[Formula: see text] to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On [Formula: see text]-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].

We prove within K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K}$$\end{document} that the axiom of determinacy is equivalent to the assertion that for each ordinal λ λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa > \lambda}$$\end{document}. Here Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Theta}$$\end{document} is the supremum of the ordinals which are the surjective image of the set of reals R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}.

The rank-into-rank and stronger large cardinal axioms assert the existence of certain elementary embeddings. By the preservation of the large cardinal properties of the embeddings under certain operations, strong implications between various of these axioms are derived.

In [1] it was shown that if κ is a strong partition cardinal, then every function from [κ ]κ to [κ ]κ is continuous almost everywhere. In this investigation, we explore whether such functions are differentiable or integrable in any sense. Some of them are.

We show that a coding principle introduced by J. Moore with respect to all ladder systems is equiconsistent with the existence of a strongly inaccessible cardinal. We also show that a coding principle introduced by S. Todorcevic has consistency strength at least of a strongly inaccessible 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 show that it is consistent, relative to a supercompact limit of supercompact cardinals, for the least strongly compact cardinal k to be both the least measurable cardinal and to be > 2k supercompact.

Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular (...) strong limit cardinal or PFA. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. The Ultrapower Axiom is a combinatorial principle concerning the structure of large cardinals that is true in all known canonical inner models of set theory. A longstanding test question for inner model theory is the equiconsistency of strongly compact and supercompact cardinals. In this paper, it is shown that under the Ultrapower Axiom, the least strongly compact cardinal is supercompact. A number of stronger results are established, setting (...) the stage for a complete analysis of strong compactness and supercompactness under UA that will be carried out in the sequel to this paper. (shrink)

We establish two theorems concerning strongly compact cardinals and universal indestructibility for degrees of supercompactness. In the first theorem, we show that universal indestructibility for degrees of supercompactness in the presence of a strongly compact cardinal is consistent with the existence of a proper class of measurable cardinals. In the second theorem, we show that universal indestructibility for degrees of supercompactness is consistent in the presence of two non-supercompact strongly compact cardinals, each of which exhibits a (...) significant amount of indestructibility for its strong compactness. (shrink)

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. (...) These results improve and unify Theorems 1 and 2 of [5], due to the first author. (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. (shrink)

An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa$. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every $n\geq 2$ and $\mu\geq \aleph_n$, we have $(\aleph_n, \mu)$-ITP.

We prove three theorems which show that it is relatively consistent for any strong cardinal κ to be fully Laver indestructible under κ-directed closed forcing.

The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That is, an inaccessible cardinal $\kappa $ is strongly compact if and only if the strong tree property holds at $\kappa $, and supercompact if and only if ITP holds at $\kappa $. We present several results motivated by the problem of obtaining the strong tree property and ITP at many successive (...) cardinals simultaneously; these results focus on the successors of singular cardinals. We describe a general class of forcings that will obtain the strong tree property and ITP at the successor of a singular cardinal of any cofinality. Generalizing a result of Neeman about the tree property, we show that it is consistent for ITP to hold at $\aleph _n$ for all $2 \leq n < \omega $ simultaneously with the strong tree property at $\aleph _{\omega +1}$ ; we also show that it is consistent for ITP to hold at $\aleph _n$ for all $3 < n < \omega $ and at $\aleph _{\omega +1}$ simultaneously. Finally, turning our attention to singular cardinals of uncountable cofinality, we show that it is consistent for the strong and super tree properties to hold at successors of singulars of multiple cofinalities simultaneously. (shrink)

Different analyses of complex cardinal numerals have been proposed in Generative Grammar. This article provides an analysis of these expressions based on the Strong Minimalist Thesis, according to which the derivations of linguistic expressions are generated by a simple combinatorial operation, applying in accord with principles external to the language faculty. The proposed derivations account for the asymmetrical structure of additive and multiplicative complexes and for the instructions they provide to the external systems for their interpretation. They harmonize with (...) those of coordinate nouns, and thus offer a unified Minimalist account of their core properties. Firstly, the empirical problem addressed is stated. Secondly, the theoretical framework is presented. Thirdly, Minimalist derivations for additive and multiplicative complexes are provided. Fourthly, the proposed derivations are contrasted with derivations not relying on the Strong Minimalist Thesis. Lastly, consequences for linguistic theory are identified as well as questions open to further inquiry. (shrink)

An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\aleph_2, \mu)}$$\end{document} -ITP and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\aleph_3, \mu')}$$\end{document} -ITP hold, for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu\geq \aleph_2}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu'\geq \aleph_3}$$\end{document}. (shrink)

We generalize results of [3] and [1] to hyperprojective sets of reals, viz. to more than finitely many strong cardinals being involved. We show, for example, that if every set of reals in Lω is weakly homogeneously Souslin, then there is an inner model with an inaccessible limit of strong cardinals.

. From a proper class of supercompact cardinals, we force and obtain a model in which the proper classes of strongly compact and strong cardinals precisely coincide. In this model, it is the case that no strongly compact cardinal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document} is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $2^\kappa = \kappa^+$\end{document} supercompact.

A model in which strongness ofκ is indestructible under κ+ -weakly closed forcing notions satisfying the Prikry condition is constructed. This is applied to solve a question of Hajnal on the number of elements of {λ δ |2 δ <λ}.

We show that it is consistent, relative to n ∈ ω supercompact cardinals, for the strongly compact and measurable Woodin cardinals to coincide precisely. In particular, it is consistent for the first n strongly compact cardinals to be the first n measurable Woodin cardinals, with no cardinal above the n th strongly compact cardinal being measurable. In addition, we show that it is consistent, relative to a proper class of supercompact cardinals, for the strongly (...) compact cardinals and the cardinals which are both strong cardinals and Woodin cardinals to coincide precisely. We also show how the techniques employed can be used to prove additional theorems about possible relationships between Woodin cardinals and strongly compact cardinals. (shrink)