Sargsyan, Grigor; Steel, John The mouse set conjecture for sets of reals. (English) Zbl 1368.03046 J. Symb. Log. 80, No. 2, 671-683 (2015). Reviewer: Daniel W. Cunningham (Buffalo) MSC: 03E15 03E45 03E60 PDFBibTeX XMLCite \textit{G. Sargsyan} and \textit{J. Steel}, J. Symb. Log. 80, No. 2, 671--683 (2015; Zbl 1368.03046) Full Text: DOI arXiv
Schlutzenberg, F.; Steel, J. R. Comparison of fine structural mice via coarse iteration. (English) Zbl 1353.03061 Arch. Math. Logic 53, No. 5-6, 539-559 (2014). MSC: 03E45 03E55 PDFBibTeX XMLCite \textit{F. Schlutzenberg} and \textit{J. R. Steel}, Arch. Math. Logic 53, No. 5--6, 539--559 (2014; Zbl 1353.03061) Full Text: DOI arXiv
Foreman, Matthew (ed.); Kanamori, Akihiro (ed.) [Abraham, Uri; Bartoszynski, Tomek; Blass, Andreas; Cummings, James; Dehornoy, Patrick; Eisworth, Todd; Foreman, Matthew; Friedman, Sy D.; Gitik, Moti; Hajnal, András; Hjorth, Greg; Jackson, Steve; Jech, Thomas; Koellner, Peter; Larson, Jean A.; Larson, Paul B.; Magidor, Menachem; Mitchell, William J.; Neeman, Itay; Schimmerling, Ernest; Schindler, Ralf; Steel, John R.; Todorcevic, Stevo; Welch, Philip D.; Woodin, W. Hugh; Zeman, Martin] Handbook of set theory. In 3 volumes. (English) Zbl 1197.03001 Dordrecht: Springer (ISBN 978-1-4020-4843-2/hbk; 978-1-4020-5764-9/ebook). xiv, pp. 1-736/Vol. 1; xiv, pp. 737-1447/Vol. 2; xiv, pp. 1449-2197/Vol. 3. (2010). Reviewer: Martin Weese (Potsdam) MSC: 03-00 03Exx 00B15 03E02 03E04 03E05 03E10 03E15 03E17 03E35 03E40 03E45 03E55 03E60 PDFBibTeX XMLCite \textit{M. Foreman} (ed.) and \textit{A. Kanamori} (ed.), Handbook of set theory. In 3 volumes. Dordrecht: Springer (2010; Zbl 1197.03001) Full Text: DOI
Schindler, Ralf; Steel, John The self-iterability of \(L[E]\). (English) Zbl 1178.03067 J. Symb. Log. 74, No. 3, 751-779 (2009). MSC: 03E45 PDFBibTeX XMLCite \textit{R. Schindler} and \textit{J. Steel}, J. Symb. Log. 74, No. 3, 751--779 (2009; Zbl 1178.03067) Full Text: DOI
Jensen, Ronald; Schimmerling, Ernest; Schindler, Ralf; Steel, John Stacking mice. (English) Zbl 1161.03031 J. Symb. Log. 74, No. 1, 315-335 (2009). MSC: 03E45 PDFBibTeX XMLCite \textit{R. Jensen} et al., J. Symb. Log. 74, No. 1, 315--335 (2009; Zbl 1161.03031) Full Text: DOI
Steel, J. R. Scales in \(K(\mathbb R)\) at the end of a weak gap. (English) Zbl 1148.03036 J. Symb. Log. 73, No. 2, 369-390 (2008). Reviewer: Martin Weese (Potsdam) MSC: 03E45 03E15 03E60 PDFBibTeX XMLCite \textit{J. R. Steel}, J. Symb. Log. 73, No. 2, 369--390 (2008; Zbl 1148.03036) Full Text: DOI
Steel, John R. PFA implies \(\text{AD}^{L(\mathbb{R})}\). (English) Zbl 1103.03047 J. Symb. Log. 70, No. 4, 1255-1296 (2005). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E60 03E15 03E45 PDFBibTeX XMLCite \textit{J. R. Steel}, J. Symb. Log. 70, No. 4, 1255--1296 (2005; Zbl 1103.03047) Full Text: DOI
Steel, John R. Distinct iterable branches. (English) Zbl 1103.03046 J. Symb. Log. 70, No. 4, 1127-1136 (2005). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E45 PDFBibTeX XMLCite \textit{J. R. Steel}, J. Symb. Log. 70, No. 4, 1127--1136 (2005; Zbl 1103.03046) Full Text: DOI
Schindler, Ralf-Dieter; Steel, John; Zeman, Martin Deconstructing inner model theory. (English) Zbl 1017.03030 J. Symb. Log. 67, No. 2, 721-736 (2002). Reviewer: Benedikt Löwe (Amsterdam) MSC: 03E45 03E55 PDFBibTeX XMLCite \textit{R.-D. Schindler} et al., J. Symb. Log. 67, No. 2, 721--736 (2002; Zbl 1017.03030) Full Text: DOI
Löwe, Benedikt; Steel, John R. An introduction to core model theory. (English) Zbl 0955.03053 Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 103-157 (1999). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E45 03-03 03E55 03E60 03E15 01A60 PDFBibTeX XMLCite \textit{B. Löwe} and \textit{J. R. Steel}, Lond. Math. Soc. Lect. Note Ser. 258, 103--157 (1999; Zbl 0955.03053)
Steel, J. R.; Welch, P. D. \(\Sigma_3^1\) absoluteness and the second uniform indiscernible. (English) Zbl 0915.03042 Isr. J. Math. 104, 157-190 (1998). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E45 03E05 03E55 PDFBibTeX XMLCite \textit{J. R. Steel} and \textit{P. D. Welch}, Isr. J. Math. 104, 157--190 (1998; Zbl 0915.03042) Full Text: DOI
Mitchell, W. J.; Schimmerling, E.; Steel, J. R. The covering lemma up to a Woodin cardinal. (English) Zbl 0868.03021 Ann. Pure Appl. Logic 84, No. 2, 219-255 (1997). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E55 03E45 PDFBibTeX XMLCite \textit{W. J. Mitchell} et al., Ann. Pure Appl. Logic 84, No. 2, 219--255 (1997; Zbl 0868.03021) Full Text: DOI arXiv
Schimmerling, E.; Steel, J. R. Fine structure for tame inner models. (English) Zbl 0861.03040 J. Symb. Log. 61, No. 2, 621-639 (1996). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E45 03E35 PDFBibTeX XMLCite \textit{E. Schimmerling} and \textit{J. R. Steel}, J. Symb. Log. 61, No. 2, 621--639 (1996; Zbl 0861.03040) Full Text: DOI
Steel, John R. \(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). (English) Zbl 0826.03022 Bull. Symb. Log. 1, No. 1, 75-84 (1995). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E55 03E45 03E60 PDFBibTeX XMLCite \textit{J. R. Steel}, Bull. Symb. Log. 1, No. 1, 75--84 (1995; Zbl 0826.03022) Full Text: DOI Link
Mitchell, William J.; Steel, John R. Fine structure and iteration trees. (English) Zbl 0805.03042 Lecture Notes in Logic. 3. Berlin: Springer-Verlag. v, 130 p. DM 48.00; öS 374.40; sFr 48.00 /sc (1994). Reviewer: A.M.Coyne (Asheville) MSC: 03E45 03E55 03-02 PDFBibTeX XMLCite \textit{W. J. Mitchell} and \textit{J. R. Steel}, Fine structure and iteration trees. Berlin: Springer (1994; Zbl 0805.03042)