Descending Sequences of Degrees. - John R. Steel (J. Symb. Log., 1975)

Determinateness and the Separation Property. - John R. Steel (J. Symb. Log., 1981)

Determinacy in the Mitchell models. - John R. Steel (Ann. Math. Log., 1982)

A Classification of Jump Operator. - John R. Steel (J. Symb. Log., 1982)

Complementation in the Turing Degrees. - Theodore A. Slaman; John R. Steel (J. Symb. Log., 1989)

Inner Models with Many Woodin Cardinals. - John R. Steel (Ann. Pure Appl. Logic, 1993)

The Well-Foundedness of the Mitchell Order. - John R. Steel (J. Symb. Log., 1993)

Fine Structure and Iteration Trees. - William J. Mitchell 002; John R. Steel (Springer, 1994)

Projectively Well-Ordered Inner Models. - John R. Steel (Ann. Pure Appl. Log., 1995)

HODL(R) is a core model below Theta. - John R. Steel (Bull. Symb. Log., 1995)

Fine Structure for Tame Inner Models. - Ernest Schimmerling; John R. Steel (J. Symb. Log., 1996)

How to Win Some Simple Iteration Games. - Alessandro Andretta; John R. Steel (Ann. Pure Appl. Log., 1997)

The Covering Lemma up to a Woodin Cardinal. - William J. Mitchell 002; Ernest Schimmerling; John R. Steel (Ann. Pure Appl. Log., 1997)

A Weak Dodd-Jensen Lemma. - Itay Neeman; John R. Steel (J. Symb. Log., 1999)

Does mathematics need new axioms? - Solomon Feferman; Harvey M. Friedman; Penelope Maddy; John R. Steel (Bull. Symb. Log., 2000)

Deconstructing Inner Model Theory. - Ralf-Dieter Schindler; John R. Steel; Martin Zeman (J. Symb. Log., 2002)

Core Models with More Woodin Cardinals. - John R. Steel (J. Symb. Log., 2002)

Distinct iterable branches. - John R. Steel (J. Symb. Log., 2005)

PFA implies ADL(ℝ). - John R. Steel (J. Symb. Log., 2005)

Counterexamples to the unique and cofinal branches hypotheses. - Itay Neeman; John R. Steel (J. Symb. Log., 2006)

Local Kc constructions. - John R. Steel (J. Symb. Log., 2007)

Scales in K(R) at the end of a weak gap. - John R. Steel (J. Symb. Log., 2008)

Stacking mice. - Ronald Jensen; Ernest Schimmerling; Ralf Schindler; John R. Steel (J. Symb. Log., 2009)

The self-iterability of L[E]. - Ralf Schindler; John R. Steel (J. Symb. Log., 2009)

K without the measurable. - Ronald Jensen; John R. Steel (J. Symb. Log., 2013)

Comparison of fine structural mice via coarse iteration. - Farmer Schlutzenberg; John R. Steel (Arch. Math. Log., 2014)

Equiconsistencies at subcompact cardinals. - Itay Neeman; John R. Steel (Arch. Math. Log., 2016)

Fine Structure and Iteration Trees - William J. Mitchell 002; John R. Steel (Cambridge University Press, 2017)

The Core Model Iterability Problem - John R. Steel (Cambridge University Press, 2017)

The comparison lemma. - John R. Steel (Ann. Pure Appl. Log., 2024)