[1]Bukovský, L., Characterization of generic extensions of models of set theory. Fundamenta Mathematica, vol. 83 (1973), pp. 35–46.
[2]Fuchs, G., Hamkins, J., and Reitz, J., Set-theoretic geology. Annals of Pure and Applied Logic, vol. 166 (2015), pp. 464–501.
[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. 1951–2120.
[7]Mitchell, W. and Schindler, R., A universal extender model without large cardinals in V, this Journal, vol. 69 (2004), pp. 371–386.
[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. 73–82.
[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. 1595–1684.
[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. 257–346.
[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.