Steel VIG
 
at the
 
UCLA Logic Center

Home   Poster   Schedule   Steel's work   Travel Grants   Hotels and Transportation

Publications of John R. Steel
  1. J. R. Steel, Descending sequences of degrees, J. Symbolic Logic 40 (1975), no. 1, 59-61   [JSTOR]

  2. J. R. Steel, On Vaught's conjecture, Cabal Seminar 76-77 (Proc. Caltech-UCLA Logic Sem., 1976-77), pp. 193-208, Lecture Notes in Math., 689, Springer, Berlin, 1978   [SpringerLink]

  3. J. R. Steel, Forcing with tagged trees, Ann. Math. Logic 15 (1978), no. 1, 55-74   [ScienceDirect]

  4. J. R. Steel, A note on analytic sets, Proc. Amer. Math. Soc. 80 (1980), no. 4, 655-657   [JSTOR]

  5. J. R. Steel, Analytic sets and Borel isomorphisms, Fund. Math. 108 (1980), no. 2, 83-88   [ICM]

  6. J. R. Steel, Determinateness and the separation property, J. Symbolic Logic 46 (1981), no. 1, 41-44   [JSTOR]

  7. A. S. Kechris, R. M. Solovay and J. R. Steel, The axiom of determinacy and the prewellordering property, Cabal Seminar 77-79 (Proc. Caltech-UCLA Logic Sem., 1977-79), pp. 101-125, Lecture Notes in Math., 839, Springer, Berlin-New York, 1981   [SpringerLink]

  8. J. R. Steel, Closure properties of pointclasses, Cabal Seminar 77-79 (Proc. Caltech-UCLA Logic Sem., 1977-79), pp. 147-163, Lecture Notes in Math., 839, Springer, Berlin-New York, 1981   [SpringerLink]

  9. J. R. Steel and R. Van Wesep, Two consequences of determinacy consistent with choice, Trans. Amer. Math. Soc. 272 (1982), no. 1, 67-85   [JSTOR]

  10. D. A. Martin, Y. N. Moschovakis and J. R. Steel, The extent of definable scales, Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 3, 435-440   [AMS]

  11. J. R. Steel, Determinacy in the Mitchell models, Ann. Math. Logic 22 (1982), no. 2, 109-125   [ScienceDirect]

  12. J. R. Steel, A classification of jump operators, J. Symbolic Logic 47 (1982), no. 2, 347-358   [JSTOR]

  13. J. R. Steel, Scales on ∑11 sets, Cabal seminar 79-81, pp. 72-76, Lecture Notes in Math., 1019, Springer, Berlin, 1983   [SpringerLink]

  14. D. A. Martin and J. R. Steel, The extent of scales in L(R), Cabal seminar 79-81, pp. 86-96, Lecture Notes in Math., 1019, Springer, Berlin, 1983   [SpringerLink]

  15. J. R. Steel, Scales in L(R), Cabal seminar 79-81, pp. 107-156, Lecture Notes in Math., 1019, Springer, Berlin, 1983   [SpringerLink]

  16. F. van Engelen, A. W. Miller and J. R. Steel, Rigid Borel sets and better quasi-order theory, Logic and combinatorics (Arcata, Calif., 1985), pp. 199-222, Contemp. Math., 65, Amer. Math. Soc., Providence, RI, 1987

  17. D. A. Martin and J. R. Steel, Projective determinacy, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6582-6586   [PNAS]

  18. T. A. Slaman and J. R. Steel, Definable functions on degrees, Cabal Seminar 81-85, pp. 37-55, Lecture Notes in Math., 1333, Springer, Berlin, 1988   [SpringerLink]

  19. J. R. Steel, Long games, Cabal Seminar 81-85, pp. 56-97, Lecture Notes in Math., 1333, Springer, Berlin, 1988   [SpringerLink]

  20. D. A. Martin and J. R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), no. 1, 71-125   [JSTOR]

  21. T. A. Slaman and J. R. Steel, Complementation in the Turing degrees, J. Symbolic Logic 54 (1989), no. 1, 160-176   [JSTOR]

  22. J. R. Steel, The well-foundedness of the Mitchell order, J. Symbolic Logic 58 (1993), no. 3, 931-940   [JSTOR]

  23. J. R. Steel, Inner models with many Woodin cardinals, Ann. Pure Appl. Logic 65 (1993), no. 2, 185-209   [ScienceDirect]

  24. D. A. Martin and J. R. Steel, Iteration trees, J. Amer. Math. Soc. 7 (1994), no. 1, 1-73   [JSTOR]

  25. W. J. Mitchell and J. R. Steel, Fine structure and iteration trees, Lecture Notes in Logic, 3, Springer-Verlag, Berlin, 1994

  26. J. R. Steel, HODL(R) is a core model below Θ, Bull. Symbolic Logic 1 (1995), no. 1, 75-84   [JSTOR]

  27. J. R. Steel, Projectively well-ordered inner models, Ann. Pure Appl. Logic 74 (1995), no. 1, 77-104   [ScienceDirect]

  28. E. Schimmerling and J. R. Steel, Fine structure for tame inner models, J. Symbolic Logic 61 (1996), no. 2, 621-639   [Project Euclid]

  29. J. R. Steel, The core model iterability problem, Lecture Notes in Logic, 8, Springer-Verlag, Berlin, 1996

  30. A. Andretta and J. R. Steel, How to win some simple iteration games, Ann. Pure Appl. Logic 83 (1997), no. 2, 103-164   [ScienceDirect]

  31. W. J. Mitchell, E. Schimmerling and J. R. Steel, The covering lemma up to a Woodin cardinal, Ann. Pure Appl. Logic 84 (1997), no. 2, 219-255   [ScienceDirect]

  32. J. R. Steel and P. D. Welch, ∑13 absoluteness and the second uniform indiscernible, Israel J. Math. 104 (1998), 157-190   [SpringerLink]

  33. E. Schimmerling and J. R. Steel The maximality of the core model, Trans. Amer. Math. Soc. 351 (1999), no. 8, 3119-3141   [AMS]

  34. B. Löwe and J. R. Steel, An introduction to core model theory, Sets and proofs (Leeds, 1997), pp. 103-157, London Math. Soc. Lecture Note Ser., 258, Cambridge Univ. Press, Cambridge, 1999

  35. I. Neeman and J. R. Steel, A weak Dodd-Jensen lemma, J. Symbolic Logic 64 (1999), no. 3, 1285-1294   [JSTOR]

  36. S. Feferman, H. M. Friedman, P. Maddy and J. R. Steel, Does mathematics need new axioms?, Bull. Symbolic Logic 6 (2000), no. 4, 401-446   [JSTOR]

  37. A. Andretta, I. Neeman and J. R. Steel, The domestic levels of Kc are iterable, Israel J. Math. 125 (2001), 157-201   [SpringerLink]

  38. R. D. Schindler, J. R. Steel and M. Zeman, Deconstructing inner model theory, J. Symbolic Logic 67 (2002), no. 2, 721-736   [Project Euclid]

  39. J. R. Steel, Core models with more Woodin cardinals J. Symbolic Logic 67 (2002), no. 3, 1197-1226   [Project Euclid]

  40. J. R. Steel, Distinct iterable branches, J. Symbolic Logic 70 (2005), no. 4, 1127-1136   [Project Euclid]

  41. J. R. Steel, PFA implies ADL(R), J. Symbolic Logic 70 (2005), no. 4, 1255-1296   [Project Euclid]

  42. J. R. Steel, Set theory, Encyclopedia of Life Support Systems, UNESCO online encyclopedia   [EOLSS]

  43. I. Neeman and J. R. Steel, Counterexamples to the unique and cofinal branches hypotheses, J. Symbolic Logic 71 (2006), no. 3, 977-988   [Project Euclid]

  44. J. R. Steel, A stationary-tower-free proof of the derived model theorem, Advances in logic, pp. 1-8, Contemp. Math., 425, Amer. Math. Soc., Providence, RI, 2007   [AMS]

  45. J. R. Steel, What is ... a Woodin cardinal?, Notices Amer. Math. Soc. 54 (2007), no. 9, 1146-1147   [AMS]

  46. J. R. Steel, Local Kc constructions, J. Symbolic Logic 72 (2007), no. 3, 721-737   [Project Euclid]

  47. J. R. Steel, Scales in K(R) at the end of a weak gap, J. Symbolic Logic 73 (2008), no. 2, 369-390   [Project Euclid]

  48. J. R. Steel, Games and scales; Introduction to Part I, Games, Scales, and Suslin cardinals; The Cabal Seminar, Volume I, pp. 3-27, Lecture Notes in Logic 31, Cambridge University Press, 2008   [Cambridge]

  49. J. R. Steel, Scales in K(R), Games, Scales, and Suslin cardinals; The Cabal Seminar, Volume I, pp. 176-208, Lecture Notes in Logic 31, Cambridge University Press, 2008   [Cambridge]

  50. J. R. Steel, The length ω1 open game quantifier propogates scales, Games, Scales, and Suslin cardinals; The Cabal Seminar, Volume I, pp. 260-272, Lecture Notes in Logic 31, Cambridge University Press, 2008   [Cambridge]

  51. D. A. Martin and J. R. Steel, The tree of a Moschovakis scale is homogeneous, Games, Scales, and Suslin cardinals; The Cabal Seminar, Volume I, pp. 404-420, Lecture Notes in Logic 31, Cambridge University Press, 2008   [Cambridge]

  52. J. R. Steel, Derived models associated to mice Computational Prospects of Infinity; Part I: Tutorials, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, 14, World Scientific, 2008   [World Scientific]

  53. J. R. Steel, An outline of inner model theory, to appear in Handbook of Set Theory, Springer-Verlag

  54. R. B. Jensen, E. Schimmerling, R. D. Schindler and J. R. Steel, Stacking mice, to appear in J. Symbolic Logic

  55. R. D. Schindler and J. R. Steel, The self-iterability of L[E], to appear in J. Symbolic Logic