John R. Steel: Online Preprints

• An Outline of Inner Model Theory, in ``Handbook of Set Theory'', to appear. postscript. or pdf.
• with Benedikt Loewe. An Introduction to Core Model Theory, in Sets and Proofs, Logic Colloquium 1997 , volume 1, London Mathematical Society Lecture Notes 258. Cambridge University Press, Cambridge, 1999. postscript.
• with Itay Neeman. A Weak Dodd-Jensen Lemma. Journal of Symbolic Logic , vol. 64, Sept. 1999, pp. 1285-1294. postscript.
• with Ernest Schimmerling. The Maximality of the Core Model. Trans. Amer. Math. Soc. , vol. 351, pp. 3119-3141, 1999. postscript.
• with William Mitchell and Ernest Schimmerling. The Weak Covering Lemma up to a Woodin Cardinal, Annals of Pure and Applied Logic , vol. 84, pp. 219-255, 1997. postscript.
• Mathematics needs new axioms, to appear in Bulletin of Symbolic Logic . postscript.
• with Alessandro Andretta and Itay Neeman. The domestic levels of $K^c$ are iterable, Israel Journal of Mathematics , to appear. postscript.
• with Mitchell Rudominer. Inner models with wellorders in L(R), preliminary draft. postscript.
• with Ralf Schindler and Martin Zeman. Deconstructing inner model theory, Journal of Symbolic Logic, v. 67, June 2002, pp. 721-736. postscript.
• with Philip Welch. $ \Sigma_1^3$ correctness and the second uniform indiscernible, Israel Journal of Mathematics , {\bf 104 }, 1998, 157-190. postscript.
• A Theorem of Woodin on Mouse Sets, unpublished notes. postscript. or pdf.
• Woodin's Analysis of HOD ^L(R), unpublished notes. postscript.
• Core models with more Woodin cardinals, Journal of Symbolic Logic, v. 67, Sept. 2002, pp. 1197-1226. postscript.
• The derived model theorem, unpublished notes postscript.
• with Oliver Deiser. Iterations with long extenders, unpublished notes postscript.
• with D.A. Martin. The tree of a Moschovakis scale is homogeneous, to appear in a re-issue of the Cabal volumes postscript.
• Scales in K(R), to appear in a re-issue of the Cabal volumes postscript. or pdf.
• PFA implies AD^L(R) (Revised June 2005.) postscript. or pdf.
• Scales at the end of a weak gap (revised July 2007), postcript or pdf.
• Local K-c-constructions, postcript.
• Set Theory, (expository article for Encyclopedia of living support systems) postscript.
• Distinct iterable branches, postscript.
• Games and Scales, (expository article for The New Cabal ) pdf. or postscript.
• A stationary-tower-free proof of the derived model theorem, pdf. or postscript.
• The length $\omega_1$ open game quantifier propagates scales, pdf. or postscript.
• with Itay Neeman. Counterexamples to UBH and CBH, Journal of Symbolic Logic , Dec. 2005. pdf.
• with Ralf Schindler. The self-iterability of $L[\vec E]$, preliminary draft Feb. 2007. pdf.
• Derived models associated to mice, to appear, last revised July 15, 2007. pdf. or postscript.
• with Ralf Schindler. The core model induction, preliminary draft, July , 2007. postscript or pdf.
• with Stuart Zoble, Determinacy from strong reflection. pdf.

Return to Steel's homepage