×

zbMATH — the first resource for mathematics

Steel, John R.

Compute Distance To:
Author ID: steel.john-r Recent zbMATH articles by "Steel, John R."
Published as: Steel, John R.; Steel, John; Steel, J. R.; Steel, J.
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 84 Publications since 1975, including 8 Books

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 879 times in 393 Documents Cited by Year
Fine structure and iteration trees. Zbl 0805.03042
Mitchell, William J.; Steel, John R.
94
1994
The core model iterability problem. Zbl 0864.03035
Steel, John R.
68
1996
An outline of inner model theory. Zbl 1198.03070
Steel, John R.
57
2010
A proof of projective determinacy. Zbl 0668.03021
Martin, Donald A.; Steel, John R.
54
1989
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
36
1993
Iteration trees. Zbl 0808.03035
Martin, D. A.; Steel, J. R.
31
1994
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
30
1978
Projectively well-ordered inner models. Zbl 0821.03023
Steel, J. R.
26
1995
The covering lemma up to a Woodin cardinal. Zbl 0868.03021
Mitchell, W. J.; Schimmerling, E.; Steel, J. R.
25
1997
PFA implies \(\text{AD}^{L(\mathbb{R})}\). Zbl 1103.03047
Steel, John R.
21
2005
\(K\) without the measurable. Zbl 1348.03049
Jensen, Ronald; Steel, John
21
2013
The self-iterability of \(L[E]\). Zbl 1178.03067
Schindler, Ralf; Steel, John
20
2009
The maximality of the core model. Zbl 0928.03059
Schimmerling, E.; Steel, J. R.
19
1999
Projective determinacy. Zbl 0656.03036
Martin, Donald A.; Steel, John R.
19
1988
Analytic sets and Borel isomorphisms. Zbl 0463.03028
Steel, John R.
18
1980
Stacking mice. Zbl 1161.03031
Jensen, Ronald; Schimmerling, Ernest; Schindler, Ralf; Steel, John
18
2009
Deconstructing inner model theory. Zbl 1017.03030
Schindler, Ralf-Dieter; Steel, John; Zeman, Martin
17
2002
Derived models associated to mice. Zbl 1158.03034
Steel, John R.
16
2008
Core models with more Woodin cardinals. Zbl 1012.03055
Steel, J. R.
16
2002
Rigid Borel sets and better quasiorder theory. Zbl 0646.03045
van Engelen, Fons; Miller, Arnold W.; Steel, John
14
1987
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
13
2000
Complementation in the Turing degrees. Zbl 0691.03024
Slaman, Theodore A.; Steel, John R.
13
1989
A classification of jump operators. Zbl 0524.03029
Steel, John R.
13
1982
\(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022
Steel, John R.
12
1995
Definable functions on degrees. Zbl 0677.03038
Slaman, Theodore A.; Steel, John R.
12
1988
The domestic levels of \(K^c\) are iterable. Zbl 1011.03040
Andretta, Alessandro; Neeman, Itay; Steel, John
11
2001
Scales in \(K(\mathbb R)\) at the end of a weak gap. Zbl 1148.03036
Steel, J. R.
11
2008
The well-foundedness of the Mitchell order. Zbl 0804.03038
Steel, J. R.
10
1993
\(\Sigma_3^1\) absoluteness and the second uniform indiscernible. Zbl 0915.03042
Steel, J. R.; Welch, P. D.
10
1998
Two consequences of determinacy consistent with choice. Zbl 0528.03033
Steel, John R.; Van Wesep, Robert
9
1982
Scales in \({\mathbf K}(\mathbb R)\). Zbl 1167.03032
Steel, John R.
8
2008
The derived model theorem. Zbl 1195.03048
Steel, J. R.
8
2009
Equiconsistencies at subcompact cardinals. Zbl 1402.03070
Neeman, Itay; Steel, John
8
2016
Determinateness and the separation property. Zbl 0487.03031
Steel, John R.
7
1981
The mouse set conjecture for sets of reals. Zbl 1368.03046
Sargsyan, Grigor; Steel, John
7
2015
Gödel’s program. Zbl 1358.03007
Steel, John R.
7
2014
Fine structure for tame inner models. Zbl 0861.03040
Schimmerling, E.; Steel, J. R.
6
1996
A weak Dodd-Jensen lemma. Zbl 0938.03077
Neeman, Itay; Steel, John
6
1999
Descending sequences of degrees. Zbl 0349.02036
Steel, John
6
1975
HOD as a core model. Zbl 1431.03068
Steel, John R.; Woodin, W. Hugh
6
2016
On Vaught’s conjecture. Zbl 0403.03027
Steel, John R.
5
1978
Determinacy in the Mitchell models. Zbl 0573.03026
Steel, John R.
5
1982
Closure properties of pointclasses. Zbl 0496.03033
Steel, John R.
5
1981
Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA). Zbl 0638.00008
Kechris, Alexander S. (ed.); Martin, Donald A. (ed.); Steel, John R. (ed.)
5
1988
A theorem of Woodin on mouse sets. Zbl 1431.03067
Steel, John R.
5
2016
Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1149.03002
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.)
4
2008
The axiom of determinacy and the prewellordering property. Zbl 0485.03031
Kechris, Alexander S.; Solovay, Robert M.; Steel, John R.
4
1981
Local \(K^c\) constructions. Zbl 1127.03040
Steel, J. R.
4
2007
Martin’s conjecture, arithmetic equivalence, and countable Borel equivalence relations. Zbl 1431.03061
Marks, Andrew; Slaman, Theordore A.; Steel, John R.
4
2016
Square principles in \(\mathbb{P}_{\max}\) extensions. Zbl 1368.03048
Caicedo, Andrés Eduardo; Larson, Paul; Sargsyan, Grigor; Schindler, Ralf; Steel, John; Zeman, Martin
4
2017
Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1230.03010
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.)
3
2012
The extent of definable scales. Zbl 0509.03025
Martin, Donald A.; Moschovakis, Yiannis N.; Steel, John R.
3
1982
The extent of scales in L(R). Zbl 0529.03027
Martin, Donald A.; Steel, John R.
3
1983
The extent of scales in \({\mathbf L}(\mathbb R)\). Zbl 1159.03319
Martin, Donald A.; Steel, John R.
2
2008
Scales in \({\mathbf L}(\mathbb R)\). Zbl 1159.03323
Steel, John R.
2
2008
Long games. Zbl 1159.03327
Steel, John R.
2
2008
The tree of a Moschovakis scale is homogeneous. Zbl 1166.03024
Martin, Donald A.; Steel, John R.
2
2008
What is \(\dots\) a Woodin cardinal? Zbl 1153.03315
Steel, John R.
2
2007
A stationary-tower-free proof of the derived model theorem. Zbl 1124.03024
Steel, J. R.
2
2007
Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1350.03006
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.)
2
2016
Determinacy from strong reflection. Zbl 1359.03038
Steel, John; Zoble, Stuart
2
2014
An introduction to core model theory. Zbl 0955.03053
Löwe, Benedikt; Steel, John R.
1
1999
Counterexamples to the unique and cofinal branches hypotheses. Zbl 1109.03065
Neeman, Itay; Steel, John
1
2006
How to win some simple iteration games. Zbl 0896.03043
Andretta, Alessandro; Steel, John
1
1997
Scales on \(\Sigma ^ 1_ 1\) sets. Zbl 0567.03022
Steel, John R.
1
1983
Ordinal definability in models of determinacy. Introduction to Part V. Zbl 1431.03066
Steel, John R.
1
2016
Comparison of fine structural mice via coarse iteration. Zbl 1353.03061
Schlutzenberg, F.; Steel, J. R.
1
2014
Square principles in \(\mathbb{P}_{\max}\) extensions. Zbl 1368.03048
Caicedo, Andrés Eduardo; Larson, Paul; Sargsyan, Grigor; Schindler, Ralf; Steel, John; Zeman, Martin
4
2017
Equiconsistencies at subcompact cardinals. Zbl 1402.03070
Neeman, Itay; Steel, John
8
2016
HOD as a core model. Zbl 1431.03068
Steel, John R.; Woodin, W. Hugh
6
2016
A theorem of Woodin on mouse sets. Zbl 1431.03067
Steel, John R.
5
2016
Martin’s conjecture, arithmetic equivalence, and countable Borel equivalence relations. Zbl 1431.03061
Marks, Andrew; Slaman, Theordore A.; Steel, John R.
4
2016
Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1350.03006
Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.
2
2016
Ordinal definability in models of determinacy. Introduction to Part V. Zbl 1431.03066
Steel, John R.
1
2016
The mouse set conjecture for sets of reals. Zbl 1368.03046
Sargsyan, Grigor; Steel, John
7
2015
Gödel’s program. Zbl 1358.03007
Steel, John R.
7
2014
Determinacy from strong reflection. Zbl 1359.03038
Steel, John; Zoble, Stuart
2
2014
Comparison of fine structural mice via coarse iteration. Zbl 1353.03061
Schlutzenberg, F.; Steel, J. R.
1
2014
\(K\) without the measurable. Zbl 1348.03049
Jensen, Ronald; Steel, John
21
2013
Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1230.03010
Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.
3
2012
An outline of inner model theory. Zbl 1198.03070
Steel, John R.
57
2010
The self-iterability of \(L[E]\). Zbl 1178.03067
Schindler, Ralf; Steel, John
20
2009
Stacking mice. Zbl 1161.03031
Jensen, Ronald; Schimmerling, Ernest; Schindler, Ralf; Steel, John
18
2009
The derived model theorem. Zbl 1195.03048
Steel, J. R.
8
2009
Derived models associated to mice. Zbl 1158.03034
Steel, John R.
16
2008
Scales in \(K(\mathbb R)\) at the end of a weak gap. Zbl 1148.03036
Steel, J. R.
11
2008
Scales in \({\mathbf K}(\mathbb R)\). Zbl 1167.03032
Steel, John R.
8
2008
Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1149.03002
Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.
4
2008
The extent of scales in \({\mathbf L}(\mathbb R)\). Zbl 1159.03319
Martin, Donald A.; Steel, John R.
2
2008
Scales in \({\mathbf L}(\mathbb R)\). Zbl 1159.03323
Steel, John R.
2
2008
Long games. Zbl 1159.03327
Steel, John R.
2
2008
The tree of a Moschovakis scale is homogeneous. Zbl 1166.03024
Martin, Donald A.; Steel, John R.
2
2008
Local \(K^c\) constructions. Zbl 1127.03040
Steel, J. R.
4
2007
What is \(\dots\) a Woodin cardinal? Zbl 1153.03315
Steel, John R.
2
2007
A stationary-tower-free proof of the derived model theorem. Zbl 1124.03024
Steel, J. R.
2
2007
Counterexamples to the unique and cofinal branches hypotheses. Zbl 1109.03065
Neeman, Itay; Steel, John
1
2006
PFA implies \(\text{AD}^{L(\mathbb{R})}\). Zbl 1103.03047
Steel, John R.
21
2005
Deconstructing inner model theory. Zbl 1017.03030
Schindler, Ralf-Dieter; Steel, John; Zeman, Martin
17
2002
Core models with more Woodin cardinals. Zbl 1012.03055
Steel, J. R.
16
2002
The domestic levels of \(K^c\) are iterable. Zbl 1011.03040
Andretta, Alessandro; Neeman, Itay; Steel, John
11
2001
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
13
2000
The maximality of the core model. Zbl 0928.03059
Schimmerling, E.; Steel, J. R.
19
1999
A weak Dodd-Jensen lemma. Zbl 0938.03077
Neeman, Itay; Steel, John
6
1999
An introduction to core model theory. Zbl 0955.03053
Löwe, Benedikt; Steel, John R.
1
1999
\(\Sigma_3^1\) absoluteness and the second uniform indiscernible. Zbl 0915.03042
Steel, J. R.; Welch, P. D.
10
1998
The covering lemma up to a Woodin cardinal. Zbl 0868.03021
Mitchell, W. J.; Schimmerling, E.; Steel, J. R.
25
1997
How to win some simple iteration games. Zbl 0896.03043
Andretta, Alessandro; Steel, John
1
1997
The core model iterability problem. Zbl 0864.03035
Steel, John R.
68
1996
Fine structure for tame inner models. Zbl 0861.03040
Schimmerling, E.; Steel, J. R.
6
1996
Projectively well-ordered inner models. Zbl 0821.03023
Steel, J. R.
26
1995
\(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022
Steel, John R.
12
1995
Fine structure and iteration trees. Zbl 0805.03042
Mitchell, William J.; Steel, John R.
94
1994
Iteration trees. Zbl 0808.03035
Martin, D. A.; Steel, J. R.
31
1994
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
36
1993
The well-foundedness of the Mitchell order. Zbl 0804.03038
Steel, J. R.
10
1993
A proof of projective determinacy. Zbl 0668.03021
Martin, Donald A.; Steel, John R.
54
1989
Complementation in the Turing degrees. Zbl 0691.03024
Slaman, Theodore A.; Steel, John R.
13
1989
Projective determinacy. Zbl 0656.03036
Martin, Donald A.; Steel, John R.
19
1988
Definable functions on degrees. Zbl 0677.03038
Slaman, Theodore A.; Steel, John R.
12
1988
Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA). Zbl 0638.00008
Kechris, Alexander S.; Martin, Donald A.; Steel, John R.
5
1988
Rigid Borel sets and better quasiorder theory. Zbl 0646.03045
van Engelen, Fons; Miller, Arnold W.; Steel, John
14
1987
The extent of scales in L(R). Zbl 0529.03027
Martin, Donald A.; Steel, John R.
3
1983
Scales on \(\Sigma ^ 1_ 1\) sets. Zbl 0567.03022
Steel, John R.
1
1983
A classification of jump operators. Zbl 0524.03029
Steel, John R.
13
1982
Two consequences of determinacy consistent with choice. Zbl 0528.03033
Steel, John R.; Van Wesep, Robert
9
1982
Determinacy in the Mitchell models. Zbl 0573.03026
Steel, John R.
5
1982
The extent of definable scales. Zbl 0509.03025
Martin, Donald A.; Moschovakis, Yiannis N.; Steel, John R.
3
1982
Determinateness and the separation property. Zbl 0487.03031
Steel, John R.
7
1981
Closure properties of pointclasses. Zbl 0496.03033
Steel, John R.
5
1981
The axiom of determinacy and the prewellordering property. Zbl 0485.03031
Kechris, Alexander S.; Solovay, Robert M.; Steel, John R.
4
1981
Analytic sets and Borel isomorphisms. Zbl 0463.03028
Steel, John R.
18
1980
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
30
1978
On Vaught’s conjecture. Zbl 0403.03027
Steel, John R.
5
1978
Descending sequences of degrees. Zbl 0349.02036
Steel, John
6
1975
all top 5

Cited by 228 Authors

32 Schindler, Ralf-Dieter
27 Steel, John R.
17 Sargsyan, Grigor
15 Neeman, Itay
14 Schimmerling, Ernest
12 Friedman, Sy-David
11 Zeman, Martin
10 Apter, Arthur W.
10 Becker, Howard S.
9 Fuchs, Gunter
9 Trang, Nam
8 Aguilera, Juan Pablo
8 Gitik, Moti
8 Montalbán, Antonio
8 Schlicht, Philipp
8 Woodin, W. Hugh
7 Hjorth, Gregory
6 Jackson, Stephen C.
6 Kechris, Alexander S.
6 Müller, Sandra
6 Selivanov, Viktor L’vovich
5 Asperó, David
5 Caicedo, Andrés Eduardo
5 Cummings, James
5 Hauser, Kai
5 Jensen, Ronald Björn
5 Lücke, Philipp Moritz
5 Mitchell, William John
5 Schlutzenberg, Farmer
4 Andretta, Alessandro
4 Barton, Neil
4 Cunningham, Daniel Wendell
4 Goldberg, Gabriel
4 Hayut, Yair
4 Ikegami, Daisuke
4 Laver, Richard Joseph
4 Lubarsky, Robert S.
4 Shore, Richard A.
4 van Engelen, Fons
4 van Mill, Jan
3 Ben-Neria, Omer
3 Bingham, Nicholas Hugh
3 Dijkstra, Jan J.
3 Kihara, Takayuki
3 Lewis, Andrew E. M.
3 Magidor, Menachem
3 Moschovakis, Yiannis Nicholas
3 Ostaszewski, Adam J.
3 Ostrovsky, Alexey Vladimirovich
3 Rudominer, Mitch
3 Shelah, Saharon
3 Todorcevic, Stevo B.
3 Yu, Liang
3 Zhu, Yizheng
3 Zoble, Stuart
2 Adolf, Dominik Thomas
2 Antos, Carolin
2 Atmai, Rachid
2 Carroy, Raphaël
2 Chong, Chi Tat
2 Cooper, Stuart Barry
2 Corazza, Paul
2 Cox, Sean D.
2 Dimonte, Vincenzo
2 Dougherty, Randall L.
2 Downey, Rodney Graham
2 Foreman, Matthew D.
2 Gao, Su
2 Goldring, Noa
2 Golshani, Mohammad
2 Greenberg, Noam
2 Hamkins, Joel David
2 Hoffelner, Stefan
2 Holy, Peter
2 Honzik, Radek
2 Kanamori, Akihiro
2 Ketchersid, Richard
2 Koepke, Peter
2 Köllner, Peter
2 Larson, Paul B.
2 Maddy, Penelope J.
2 Martin, Donald A.
2 Meadows, Toby
2 Medini, Andrea
2 Ng, KengMeng
2 Pequignot, Yann
2 Rathjen, Michael
2 Rinot, Assaf
2 Sami, Ramez L.
2 Sato, Kentaro
2 Simpson, Stephen G.
2 Slaman, Theodore A.
2 Thomas, Simon R.
2 Walsh, Sean
2 Weinert, Thilo V.
2 Weiss, Christoph
2 Welch, Philip D.
2 Wilson, Trevor Miles
1 Addison, J. W.
1 Afshari, Bahareh
...and 128 more Authors
all top 5

Cited in 55 Serials

79 The Journal of Symbolic Logic
72 Annals of Pure and Applied Logic
28 Archive for Mathematical Logic
25 The Bulletin of Symbolic Logic
21 Proceedings of the American Mathematical Society
20 Israel Journal of Mathematics
20 Transactions of the American Mathematical Society
18 Journal of Mathematical Logic
10 Notre Dame Journal of Formal Logic
9 Advances in Mathematics
7 Mathematical Logic Quarterly (MLQ)
6 Topology and its Applications
4 Memoirs of the American Mathematical Society
4 Journal of the American Mathematical Society
3 Studia Logica
3 Bulletin of the American Mathematical Society. New Series
3 The Review of Symbolic Logic
2 Journal of Mathematical Analysis and Applications
2 Fundamenta Mathematicae
2 Theoretical Computer Science
2 Proceedings of the Steklov Institute of Mathematics
2 European Journal of Mathematics
1 Archive for History of Exact Sciences
1 Discrete Mathematics
1 Mathematische Semesterberichte
1 The Mathematical Intelligencer
1 Acta Mathematica
1 Algebra Universalis
1 Compositio Mathematica
1 Inventiones Mathematicae
1 Journal of Functional Analysis
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 Mathematics of Operations Research
1 Monatshefte für Mathematik
1 Proceedings of the Japan Academy. Series A
1 Synthese
1 Tohoku Mathematical Journal. Second Series
1 Order
1 Russian Mathematics
1 Topology Proceedings
1 Electronic Research Announcements of the American Mathematical Society
1 Doklady Mathematics
1 Annals of Mathematics. Second Series
1 Erkenntnis
1 RAIRO. Theoretical Informatics and Applications
1 The Journal of Logic and Algebraic Programming
1 Journal of the Australian Mathematical Society
1 Logical Methods in Computer Science
1 Philosophy Compass
1 Forum of Mathematics, Pi
1 Forum of Mathematics, Sigma
1 Computability
1 Transactions of the American Mathematical Society. Series B

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.