×
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

Publications by Year

Citations contained in zbMATH Open

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

Cited by 276 Authors

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

Cited in 62 Serials

91 The Journal of Symbolic Logic
83 Annals of Pure and Applied Logic
31 Archive for Mathematical Logic
27 Proceedings of the American Mathematical Society
27 The Bulletin of Symbolic Logic
26 Journal of Mathematical Logic
24 Israel Journal of Mathematics
22 Transactions of the American Mathematical Society
12 Notre Dame Journal of Formal Logic
12 Mathematical Logic Quarterly (MLQ)
10 Advances in Mathematics
7 Topology and its Applications
5 Memoirs of the American Mathematical Society
5 The Review of Symbolic Logic
4 Journal of the American Mathematical Society
3 Fundamenta Mathematicae
3 Studia Logica
3 Synthese
3 Bulletin of the American Mathematical Society. New Series
3 Forum of Mathematics, Sigma
2 Journal of Mathematical Analysis and Applications
2 Mathematische Semesterberichte
2 Journal of Functional Analysis
2 Journal of Philosophical Logic
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 The Mathematical Intelligencer
1 Acta Mathematica
1 Algebra Universalis
1 Bulletin of the London Mathematical Society
1 Compositio Mathematica
1 Inventiones Mathematicae
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 Tôhoku Mathematical Journal. Second Series
1 Order
1 New Zealand Journal of Mathematics
1 Russian Mathematics
1 Topology Proceedings
1 Opuscula Mathematica
1 Electronic Research Announcements of the American Mathematical Society
1 Izvestiya: Mathematics
1 Doklady Mathematics
1 Annals of Mathematics. Second Series
1 Erkenntnis
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 The Journal of Logic and Algebraic Programming
1 Journal of the Australian Mathematical Society
1 Oberwolfach Reports
1 Sarajevo Journal of Mathematics
1 Logical Methods in Computer Science
1 Philosophy Compass
1 Forum of Mathematics, Pi
1 Computability
1 Transactions of the American Mathematical Society. Series B

Citations by Year

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