The Stable Core

This is a talk at the Mathematical Philosophy and Mathematical Practice Conference, University of Konstanz, September 20, 2018.
Slides

Sy Friedman introduced an inner model, which he called the Stable Core, in the process of trying to understand how close the inner model ${\rm HOD}$ can be to the universe $V$ [1]. An inner model is a definable (possibly with parameters) transitive sub-model of the universe satisfying ${\rm ZF}({\rm C})$ and containing all the ordinals. It has long been the goal of the inner model theory program to construct a canonical inner model that is close to $V$ in the presence of very large large cardinals. Canonical inner models are built from the bottom up using absolute rules, and as a result of this construction process satisfy regularity properties, such as the ${\rm GCH}$ and $\square$, and are (generally) unaffected by enlargements of the universe via forcing. Each of these canonical inner models, for example, $L$, $K^{DJ}$, $L[U]$, are close to the universe $V$ in the absence of certain large cardinals, but are very far from a universe having those large cardinals. There are several ways in which we can request that an inner model is close to $V$. The inner model can have some form of covering, agree on large cardinals, or reach the universe $V$ by forcing, so that $V$ is a forcing extension of it.

The canonical inner models ultimately attempt to generalize Gödel's constructible universe $L$, making it compatible with large cardinals. Another inner model introduced by Gödel, the collection ${\rm HOD}$ of all hereditarily ordinal definable sets, lacks the fine structure of the canonical inner models and therefore their absoluteness and regularity properties, but it makes up for it by being compatible with all known large cardinals and in fact all known set theoretic assertions. This is essentially because using coding any set or class can become ordinal definable in a forcing extension. Every set $A$ is coded by a set of ordinals because we can recover a set from its transitive closure, the transitive closure can be coded by a binary relation on some cardinal, which maps to it via the Mostowski collapse, and a set of pairs of ordinals can in turn be coded by a subset of the cardinal. Now given a subset $A$ of a cardinal $\kappa$, we use forcing to code it into the continuum pattern of the extension, thus making $A$ ordinal definable in the extension. Indeed, in this manner, we can code the entire universe $V$ into the continuum function of a class forcing extension, making $V$ be precisely the ${\rm HOD}$ of this extension $V[G]$ (this was apparently first shown by Roguski [2], the coding idea is due to McAloon). It follows that any universe is the ${\rm HOD}$ of some larger universe, so that ${\rm HOD}$ can satisfy any (believed to be) consistent set-theoretic assertion. It is known that ${\rm HOD}$ can be quite far from $V$. Cheng, Hamkins, and Friedman showed that it is consistent that every measurable cardinal is not even weakly compact in ${\rm HOD}$ and that there can be a supercompact cardinal that is not even weakly compact in ${\rm HOD}$ [3]. Cummings, Friedman, and Golshani showed that it is also consistent that $(\alpha^+)^{\rm{HOD}}<\alpha^+$ for every infinite cardinal $\alpha$ (missing reference). Woodin, however has conjectured that in the presence of very large large cardinals ${\rm HOD}$ will be much closer to $V$.

In further trying to understand the relationship between ${\rm HOD}$ and $V$, Sy Friedman defined the ordinal definable stability predicate $S$ and showed that $V$ is a forcing extension of the structure $({\rm HOD},S)$, ${\rm HOD}$ together with a predicate for $S$ [1]. The stability predicate $S$ codes the elementarity relations between initial segments $H_\alpha$ of $V$. It consists of triples $(\alpha,\beta,n)$ where $\alpha$ and $\beta$ are strong limit cardinals such that $H_\alpha$ and $H_\beta$ satisfy $\Sigma_n$-Collection and $H_\alpha\prec_{\Sigma_n}H_\beta$. More precisely, Friedman showed that in the structure $({\rm HOD}, S)$, there is a definable class partial order $\mathbb P$ for which there is a generic filter $G\subseteq \mathbb P$ such that ${\rm HOD}[G]=V$. The result is quite subtle in that even though $(V,G)\models{\rm ZFC}$, $G$ is not definable over $V$. Hamkins and Reitz later showed that it is consistent for $V$ to not be a class forcing extension of ${\rm HOD}$, so some additional information is indeed required to make $V$ a forcing extension of ${\rm HOD}$ [4].

Friedman's result showed that $V$ is already a class forcing extension of the structure $(L[S],S)$, which is the Stable Core of the title of the post. Because $S$ is ordinal definable, $L[S]\subseteq {\rm HOD}$, and Friedman showed that consistently $L[S]$ can be smaller than ${\rm HOD}$. It remained unknown whether the new inner model had any regularity properties or whether it was consistent with large cardinals. In a joint work with Sy Friedman and Sandra Müller we establish some further properties that are consistent with the Stable Core [5].

We generalized the recent work of Kennedy, Magidor, and Väänänen on the model $L[{\rm Card}]$ [6] to show that $K^{DJ}$ and $L[U]$ are always contained in the Stable Core. Recall that $K^{DJ}$ is the Dodd-Jensen core model below a measurable cardinal and $L[U]$ is the canonical inner model for one measurable cardinal. This shows, in particular, that the Stable Core of $L[U]$ is $L[U]$, so that the Stable Core can have a measurable cardinal. Same techniques, using Kunen's generalization of the $L[U]$ construction, can be used to show that the Stable Core can have a number of measurable cardinals. The next open question is whether the Stable Core can have a measurable limit of measurable cardinals. The question arises because Kennedy, Magidor, Väänänen and Welch (the result is still unpublished) showed that if the universe has a (little more than) a measurable limit of measurable cardinals, then $L[{\rm Card}]$ is a very simple model, in particular, it satisfies the ${\rm GCH}$ and has no measurable cardinals.

It is relatively easy to code information into the Stable Core over canonical models ($L$, $K^{DJ}$, or $L[U]$) because we can use their definability inside the Stable Core to compare the changes we made to the elementarity relations between the $H_\alpha$ to the original relations. Using a coding along these lines, we show that any set which can be added generically to $L$ (or $L[U]$) can be coded into the Stable Core of a further forcing extension. From this it follows that the ${\rm GCH}$ can fail at every regular cardinal in the Stable Core, that ${\rm CH}$ can fail and Martin's Axiom can hold in the Stable Core, that any cardinal of $L$ can become countable in the Stable Core, etc. We also show that there is a forcing extension of $L[U]$ in which the measurable cardinal $\kappa$ remains measurable but $\kappa$ is not even weakly compact in the Stable Core. Thus, measurable cardinals are not downward absolute to the Stable Core. Because we don't know how to code information into the Stable Core over arbitrary models, these results leave open the general question about what does the Stable Core look like the presence of larger large cardinals such as a measurable limit of measurable cardinals.

The open questions here are numerous! Here are a few. It is easy to see using coding that the ${\rm HOD}$ of ${\rm HOD}$ can be smaller than ${\rm HOD}$. Can the Stable Core of the Stable Core be smaller? Is there a bound on the large cardinals compatible with the Stable Core? Or are larger large cardinals downward absolute to the Stable Core? Is the Stable Core of $M_1$, the canonical model for one Woodin cardinal, $M_1$?

References

  1. S.-D. Friedman, “The stable core,” Bull. Symbolic Logic, vol. 18, no. 2, pp. 261–267, 2012.
  2. S. Roguski, “Cardinals and iterations of ${\rm HOD}$,” Colloq. Math., vol. 58, no. 2, pp. 159–161, 1990.
  3. Y. Cheng, S.-D. Friedman, and J. D. Hamkins, “Large cardinals need not be large in HOD,” Ann. Pure Appl. Logic, vol. 166, no. 11, pp. 1186–1198, 2015.
  4. J. D. Hamkins and J. Reitz, “The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD,” ArXiv e-prints, Sep. 2017. Available at: http://jdh.hamkins.org/the-universe-need-not-be-a-class-forcing-extension-of-hod
  5. S.-D. Friedman, V. Gitman, and S. Müller, “Some properties of the Stable Core,” Manuscript.
  6. J. Kennedy, M. Magidor, and J. Väänänen, “Inner models from extended logics: Part 1,” J. Math. Log., vol. 21, no. 2, pp. Paper No. 2150012, 53, 2021. Available at: https://doi.org/10.1142/S0219061321500124