Skip to main content Accessibility help




Let Msw denote the least iterable inner model with a strong cardinal above a Woodin cardinal. By [11], Msw has a fully iterable core model, ${K^{{M_{{\rm{sw}}}}}}$ , and Msw is thus the least iterable extender model which has an iterable core model with a Woodin cardinal. In V, ${K^{{M_{{\rm{sw}}}}}}$ is an iterate of Msw via its iteration strategy Σ.

We here show that Msw has a bedrock which arises from ${K^{{M_{{\rm{sw}}}}}}$ by telling ${K^{{M_{{\rm{sw}}}}}}$ a specific fragment ${\rm{\bar{\Sigma }}}$ of its own iteration strategy, which in turn is a tail of Σ. Hence Msw is a generic extension of $L[{K^{{M_{{\rm{sw}}}}}},{\rm{\bar{\Sigma }}}]$ , but the latter model is not a generic extension of any inner model properly contained in it.

These results generalize to models of the form Ms (x) for a cone of reals x, where Ms (x) denotes the least iterable inner model with a strong cardinal containing x. In particular, the least iterable inner model with a strong cardinal above two (or seven, or boundedly many) Woodin cardinals has a 2-small core model K with a Woodin cardinal and its bedrock is again of the form $L[K,{\rm{\bar{\Sigma }}}]$ .



Hide All
[1]Bukovský, L., Characterization of generic extensions of models of set theory. Fundamenta Mathematica, vol. 83 (1973), pp. 3546.
[2]Fuchs, G., Hamkins, J., and Reitz, J., Set-theoretic geology. Annals of Pure and Applied Logic, vol. 166 (2015), pp. 464501.
[3]Fuchs, G. and Schindler, R., Inner model theoretic geology, this Journal, vol. 81 (2016), pp. 972–996.
[4]Jensen, R. B., The core model for non–overlapping extender sequences, handwritten notes.
[5]Jensen, R., Schimmerling, E., Schindler, R., and Steel, J., Stacking mice, this Journal, vol. 74 (2009), pp. 315–335.
[6]Koellner, P. and Woodin, W. H., Large cardinals from determinacy, Handbook of Set Theory, vol. 3 (Foreman, M. and Kanamori, A., editors), Springer–Verlag, Berlin, 2010, pp. 19512120.
[7]Mitchell, W. and Schindler, R., A universal extender model without large cardinals in V, this Journal, vol. 69 (2004), pp. 371386.
[8]Mitchell, W. and Steel, J. R., Fine Structure and Iteration Trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.
[9]Sargsyan, G., Hod mice and the Mouse Set Conjecture, Memoirs of the American Mathematical Society, vol. 236, no. 1111.
[10]Sargsyan, G., Schindler, R., and Schlutzenberg, F., Varsovian models II, in preparation.
[11]Sargsyan, G. and Zeman, M., in preparation.
[12]Schindler, R., Set Theory: Exploring Independence and Truth, Springer–Verlag, Berlin, 2014.
[13]Schindler, R., The long extender algebra. Archive for Mathematical Logic, vol. 57 (2018), no. 1–2, pp. 7382.
[14]Schindler, R., Steel, J. R., and Zeman, M., Deconstructing inner model theory, this Journal, vol. 67 (2002), pp. 721–736.
[15]Schindler, R. and Steel, J., The self-iterability of L[E], this Journal, vol. 74 (2009), pp. 751–779.
[16]Schlutzenberg, F., Iterability for stacks, preprint, 2015.
[17]Schlutzenberg, F. and Steel, J., Normalizing iteration trees, in preparation.
[18]Steel, J., The Core Model Iterability Problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, Berlin, 1996.
[19]Steel, J., An outline of inner model theory, Handbook of Set Theory, vol. 3 (Foreman, M. and Kanamori, A., editors), Springer–Verlag, Berlin, 2010, pp. 15951684.
[20]Steel, J., Normalizing iteration trees and comparing iteration strategies, preprint, available at∼steel/papers/strategycompare.jan2018.pdf.
[21]Steel, J. and Woodin, W. H., HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (Kechris, A., Lwe, B., and Steel, J., editors), Lecture Notes in Logic, Cambridge University Press, 2016, pp. 257346.
[22]Usuba, T., The downward directed grounds hypothesis and very large cardinals.Journal of Mathematical Logic, 2017, to appear.
[23]Woodin, W. H., private communication, June 2009.



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed