- A Weak DoddJensen Lemma Itay Neeman John Steel
- PFA implies ADL(R) September 25, 2007
- The core model induction Ralf Schindler and John Steel
- 3 Absoluteness and the Second Uniform Indiscernible Dept. of Mathematics, UCLA
- The tree of a Moschovakis scale is homogeneous D.A. Martin and J.R. Steel
- The Derived Model Theorem J. R. Steel
- Scales in K(R) at the end of a weak gap July 30, 2007
- Scales in K(R) John R. Steel
- A stationarytowerfree proof of the derived model J. R. Steel
- An Outline of Inner Model Theory John R. Steel
- PFA implies AD L(R) . May 31, 2005
- A Theorem of Woodin on Mouse Sets July 8, 2004
- COUNTEREXAMPLES TO THE UNIQUE AND COFINAL BRANCHES ITAY NEEMAN AND JOHN STEEL
- INNER MODELS WITH WELLORDERS IN L(R) DRAFT 1. OCTOBER 20, 1999
- A stationary-tower-free proof of the derived model J. R. Steel
- The domestic levels of K c are iterable
- Scales in K(R) at the end of a weak gap July 30, 2007
- John R. Steel, Department of Mathematics, University of California, Berkeley, CA. USA October 20, 2003
- Deconstructing inner model theory Ralf-Dieter Schindler John Steel Martin Zeman
- Games and Scales September 1, 2006
- THE COVERING LEMMA UP TO A WOODIN CARDINAL W.J. MITCHELL, E. SCHIMMERLING, AND J.R. STEEL
- A Theorem of Woodin on Mouse Sets July 14, 2004
- AN INTRODUCTION TO CORE MODEL THEORY BENEDIKT L
- Iterations with long extenders John R. Steel
- Local K c constructions November 14, 2003
- Core Models with More Woodin Cardinals J. R. Steel
- The Scale Property for # 2 John R. Steel
- Derived models associated to mice John R. Steel
- The length-1 open game quantifier propagates scales John R. Steel
- Scales in K(R) John R. Steel
- Distinct iterable branches December 1, 2003
- The core model induction Ralf Schindler and John Steel
- Games and Scales September 1, 2006
- Woodin's Analysis of HOD L(R) August 31, 1996
- Derived models associated to mice John R. Steel
- An Outline of Inner Model Theory John R. Steel
- The self-iterability of L[E] Ralf Schindler1