[1]
Abraham, Uri and Shelah, Saharon, Coding with ladders a well ordering of the reals, The Journal of Symbolic Logic, vol. 67 (2002), no. 2, pp. 579–597.

[2]
Becker, Howard S. and Moschovakis, Yiannis N., Measurable cardinals in playful models, Cabal Seminar 77–79, Lecture Notes in Mathematics, vol. 839, Springer, Berlin, 1981, pp. 203–214.

[3]
Caicedo, Andres, Larson, Paul, Sargsyan, Grigor, Schindler, Ralf, Steel, John R., and Zeman, Martin, *Square in ℙ*_{max} extensions, in preparation.

[4]
Cummings, James, Strong ultrapowers and long core models, The Journal of Symbolic Logic, vol. 58 (1993), no. 1, pp. 240–248.

[5]
Farah, Ilijas, The extender algebra and Σ_{1}
^{2} absoluteness, The Cabal Seminar (Kechris, Alexander S., Löwe, Benedikt, and Steel, John R., editors), vol. IV, to appear.

[6]
Feferman, Solomon, Friedman, Harvey M., Maddy, Penelope, and Steel, John R., Does mathematics need new axioms?, this Bulletin, vol. 6 (2000), no. 4, pp. 401–446.

[7]
Feng, Qi, Magidor, Menachem, and Woodin, Hugh, Universally Baire sets of reals, Set theory of the continuum (Berkeley, CA, 1989), Mathematical Sciences Research Institute Publications, vol. 26, Springer, 1992, pp. 203–242.

[8]
Foreman, M., Magidor, M., and Shelah, S., Martin's maximum, saturated ideals, and nonregular ultrafilters. I, Annals of Mathematics. Second Series, vol. 127 (1988), no. 1, pp. 1–47.

[9]
Jackson, Steve, Structural consequences of AD, Handbook of set theory (Foreman, Matthew and Kanamori, Akihiro, editors), vol. 3, Springer, 2010, pp. 1753–1876.

[10]
Jech, Thomas, Set theory, the third millennium ed., Springer Monographs in Mathematics, Springer, Berlin, 2003.

[11]
Jensen, Ronald, The fine structure of the constructible hierarchy, Annals of Pure and Applied Logic, vol. 4 (1972), pp. 229–308; erratum, ibid. 4 (1972), 443, with a section by Jack Silver.

[12]
Jensen, Ronald, Inner models and large cardinals, this Bulletin, vol. 1 (1995), no. 4, pp. 393–407.

[13]
Jensen, Ronald, Schimmerling, Ernest, Schindler, Ralf, and Steel, John, Stacking mice, The Journal of Symbolic Logic, vol. 74 (2009), no. 1, pp. 315–335.

[14]
Kanamori, Akihiro, The higher infinite, Perspectives in Mathematical Logic, Springer, Berlin, 1994.

[15]
Kechris, Alexander S., Kleinberg, Eugene M., Moschovakis, Yiannis N., and Woodin, W. Hugh, The axiom of determinacy, strong partition properties and nonsingular measures, Cabal Seminar 77–79, Lecture Notes in Mathematics, vol. 839, Springer, Berlin, 1981, pp. 75–99.

[16]
Koellner, Peter and Woodin, W. Hugh, Large cardinals from determinacy, Handbook of set theory (Foreman, Matthew and Kanamori, Akihiro, editors), vol. 3. Springer, Dordrecht, 2010, pp. 1951–2119.

[17]
Larson, Paul B., The stationary tower, University Lecture Series, vol. 32, American Mathematical Society, Providence, RI, 2004, notes on a course by W. Hugh Woodin.

[18]
Maddy, Penelope, Believing the axioms. I, The Journal of Symbolic Logic, vol. 53 (1988), no. 2, pp. 481–511.

[19]
Maddy, Penelope, Believing the axioms. II, The Journal of Symbolic Logic, vol. 53 (1988). no. 3. pp. 736–764.

[20]
Martin, Donald A. and Steel, John R., The extent of scales in L(R). Cabal seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 86–96.

[21]
Martin, Donald A. and Steel, John R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.

[22]
Mitchell, William J., Sets constructible from sequences of ultrafilters. The Journal of Symbolic Logic, vol. 39 (1974), pp. 57–66.

[23]
Mitchell, William J., Sets constructed from sequences of measures: revisited, The Journal of Symbolic Logic, vol. 48 (1983), no. 3, pp. 600–609.

[25]
Mitchell, William J. and Steel, John R.. Fine structure and iteration trees. Lecture Notes in Logic, vol. 3, Springer, Berlin, 1994.

[26]
Moschovakis, Yiannis N., Descriptive set theory. Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland, Amsterdam, 1980.

[27]
Neeman, Itay, Optimal proofs of determinacy. this Bulletin, vol. 1 (1995), no. 3, pp. 327–339.

[28]
Neeman, Itay, Inner models in the region of a Woodin limit of Woodin cardinals. Annals of Pure and Applied Logic, vol. 116 (2002), no. 1–3, pp. 67–155.

[29]
Neeman, Itay, The determinacy of long games, de Gruyter Series in Logic and its Applications, vol. 7, Walter de Gruyter, Berlin, 2004.

[30]
Rudominer, Mitch, Mouse sets. Annals of Pure and Applied Logic, vol. 87 (1997). no. 1, p. 100.

[31]
Rudominer, Mitch, The largest countable inductive set is a mouse set, The Journal of Symbolic Logic, vol. 64 (1999), no. 2, pp. 443–459.

[32]
Rudominer, Mitchell, Mouse sets definable in L(ℝ), Ph.D. thesis. University of California, Los Angeles, Ann Arbor, MI, 1995.

[33]
Sacks, Gerald E., Higher recursion theory, Perspectives in Mathematical Logic. Springer, Berlin, 1990.

[34]
Sargsyan, Grigor, A tale of hybrid mice, Thesis, UC Berkeley. 05
2009.

[37]
Sargsyan, Grigor and Zhu, Yizheng, *Equiconsistency for* AD + “Θ *is regidar*”, in preparation.

[38]
Schimmerling, Ernest, The ABC's of mice, this Bulletin, vol. 7 (2001), no. 4, pp. 485–503.

[39]
Schimmerling, Ernest, A core model toolbox and guide. Handbook of set theory (Foreman, Matthew and Kanamori, Akihiro, editors), vol. 3, Springer, Dordrecht, 2010, pp. 1685–1751.

[41]
Solovay, Robert M.,
*The independence of* DC *from* AD, Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 171–183.

[43]
Steel, John R., Scales in L(ℝ), Cabal seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 107–156.

[44]
Steel, John R., HOD^{L(ℝ)} is a core model below Θ, this Bulletin, vol. 1 (1995), no. 1, pp. 75–84.

[45]
Steel, John R., Projectively well-ordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77–104.

[46]
Steel, John R., PFA *implies* AD^{L(ℝ)}
, The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296.

[47]
Steel, John R., A stationary-tower-free proof of the derived model theorem, Advances in logic, Contemporary Mathematics, vol. 425, American Mathematical Society, Providence, RI, 2007, pp. 1–8.

[48]
Steel, John R., Derived models associated to mice, Computational prospects of infinity. Part I. Tutorials, Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore, vol. 14, World Science Publications, Hackensack, NJ, 2008, pp. 105–193.

[49]
Steel, John R., The derived model theorem, Logic Colloquium 2006, Lecture Notes in Logic, Association for Symbolic Logic, Chicago, IL, 2009, pp. 280–327.

[50]
Steel, John R., An outline of inner model theory, Handbook of set theory (Foreman, Matthew and Kanamori, Akihiro, editors), vol. 3, Springer, Dordrecht, 2010, pp. 1595–1684.

[51]
Steel, John R.. The triple helix, Workshop on Set Theory and the Philosophy of Mathematics, University of Pennsylvania, 2010, slides available at http://math.ucla.edu/~steel/.
[52]
Steel, John R. and Woodin, Hugh,
*Exploring* HOD, The Cabal Seminar (Kechris, Alexander S., Löwe, Benedikt, and Steel, John R., editors), vol. IV, to appear.

[53]
Trang, Nam, HOD *in natural models of* AD^{+}, in preparation.

[54]
Viale, Matteo and Weiss, Christoph, On the consistency strength of the proper forcing axiom, Advances in Mathematics, vol. 228 (2011), no. 5, pp. 2672–2687.

[55]
Woodin, W. Hugh, The axiom of determinacy, forcing axioms, and the nonstationary ideal, de Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter, Berlin, 1999.

[56]
Woodin, W. Hugh, Strong axioms of infinity and the search for V, Proceedings of the International Congress of Mathematicians, vol. I. Hindustan Book Agency, New Delhi, 2010, pp. 504–528.

[59]
Zhu, Yizheng, *Realizing an* AD^{+}
*model as a derived model of a premouse*, in preparation.