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)

In this paper, we prove that: if κ is supercompact and the math formula Hypothesis holds, then there is a proper class of regular cardinals in math formula which are measurable in math formula. Woodin also proved this result independently [11]. As a corollary, we prove Woodin's Local Universality Theorem. This work shows that under the assumption of the math formula Hypothesis and supercompact cardinals, large cardinals in math formula are reflected to be large cardinals in math formula in a (...) local way, and reveals the huge difference between math formula-supercompact cardinals and supercompact cardinals under the math formula Hypothesis. (shrink)

Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} is absolute for proper forcing :176–184, 2000). Here, we study the indestructibility properties of remarkable cardinals. We show that if κ is remarkable, then there is a forcing extension in which the remarkability of κ becomes indestructible by all <κ-closed ≤κ-distributive forcing and all two-step iterations of (...) the form Add∗R˙\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Add*\dot{\mathbb R}}$$\end{document}, where R˙\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\dot{\mathbb R}}$$\end{document} is forced to be <κ-closed and ≤κ-distributive. In the process, we introduce the notion of a remarkable Laver function and show that every remarkable cardinal carries such a function. We also show that remarkability is preserved by the canonical forcing of the GCH. (shrink)

We explore Woodin's Universality Theorem and consider to what extent large cardinal properties are transferred into HOD (and other inner models). We also separate the concepts of supercompactness, supercompactness in HOD and being HOD-supercompact. For example, we produce a model where a proper class of supercompact cardinals are not HOD-supercompact but are supercompact in HOD. Additionally we introduce a way to measure the degree of HOD-supercompactness of a supercompact cardinal, and we develop methods to control these degrees simultaneously for a (...) proper class of supercompact cardinals. Finally, we also produce a model in which the unique supercompact cardinal is also the only strongly compact cardinal, no cardinal is supercompact up to an inaccessible cardinal, level by level inequivalence holds and the unique supercompact cardinal is not HOD-supercompact. (shrink)