This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
 D. A. Martin and J. R. Steel , A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71–125.
 W. J. Mitchell and E. Schimmerling , Covering without countable closure, Mathematical Research Letters, vol. 2 (1995), pp. 595–609.
 W. J. Mitchell , E. Schimmerling , and J. R. Steel , The covering lemma up to a Woodin cardinal, Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–255.
 W. J. Mitchell and J. R. Steel , Fine structure and iteration trees, Lecture Notes in Logic, Springer-Verlag, Berlin, 1994.
 R.-D. Schindler , Weak covering at large cardinals, Mathematical Logic Quarterly, vol. 43 (1997), pp. 22–28.
 J. R. Steel , HODL(ℝ) is a core model below Θ, The Bulletin of Symbolic Logic, vol. 1 (1995), pp. 75–84.
 J. R. Steel , The core model iterability problem, Lecture Notes in Logic, Springer-Verlag, Berlin, 1996.