Recent Advances in Core Model Theory

Background reading

Martin, D. A. and Steel, J. R., Iteration trees, Journal of the American Mathematical Society, Volume 7, Number 1, January 1994

Find this paper by searching on the MathSciNet webpage and download it for free. The first time through this paper, read sections 0 and 1, the statements of Theorems 2.3, 2.4, 4.3 and 5.11, and then section 6. This is what the authors recommend in their introduction.
Steel, J. R., An outline of inner model theory

This paper is available from Steel's online preprints webpage. Sections 7 and 8 are particularly relevant to the workshop. While reading sections 2 through 5, it would be nice to have handy
- Mitchell, W. J. and Steel, J. R., Fine structure and iteration trees, Lecture Notes in Logic, 3, Springer-Verlag, Berlin, 1994
And, while reading section 6,
- Steel, J. R., The core model iterability problem, Lecture Notes in Logic, 8, Springer-Verlag, Berlin, 1996

Steel, J. R., A theorem of Woodin on mouse sets

This paper is available from Steel's online preprints webpage. It was rewritten in July, 2004.
Steel, J. R., Woodin's analysis of HOD^L(R)

This paper is available from Steel's online preprints webpage. The work presented, which is due to Woodin, was inspired by and is an extension of
- Steel, J. R., HOD^L(R) is a core model below θ, Bulletin of Symbolic Logic, Volume 1, Number 1, March 1995
which can be downloaded for free from the Bulletin of Symbolic Logic archive. See also section 8 of the paper An outline of inner model theory, which is listed above.

Steel, J. R., The derived model theorem

This paper is available from Steel's online preprints webpage. One of the techniques used in this paper is stationary tower forcing. A basic reference for this technique is
- Larson, P. B., The stationary tower : notes on a course by W. Hugh Woodin, University Lecture Series, Volume 32, American Mathematical Society, 2004
which can be purchased from the American Mathematical Society Bookstore.