John R. Steel | Academic Influence

John R. Steel's AcademicInfluence.com Rankings

John R. Steel

Mathematics

#2298

World Rank

#3571

Historical Rank

#915

USA Rank

Measure Theory

#2852

World Rank

#3393

Historical Rank

#822

USA Rank

mathematics Degrees

Download Badge

Mathematics

John R. Steel's Degrees

PhD Mathematics Princeton University

Why Is John R. Steel Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John Robert Steel is an American set theorist at University of California, Berkeley . He has made many contributions to the theory of inner models and determinacy. With Donald A. Martin, he proved projective determinacy, assuming the existence of sufficient large cardinals. He earned his Ph.D. in Logic & the Methodology of Science at Berkeley in 1977 under the joint supervision of John West Addison Jr. and Stephen G. Simpson.

(See a Problem?)

John R. Steel's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

THE TRIPLE HELIX (2003) (293)
A proof of projective determinacy (1989) (256)
An Outline of Inner Model Theory (2010) (196)
ITERATION TREES (1994) (97)
Fine Structure and Iteration Trees (2017) (97)
Definable functions on degrees (1988) (87)
Does Mathematics Need New Axioms? (2000) (75)
Inner Models with Many Woodin Cardinals (1993) (71)
Projective determinacy. (1988) (65)
Forcing with tagged trees (1978) (64)
The Core Model Iterability Problem (1997) (62)
X-ray dose training: are we exposed to enough? (2004) (60)
Projectively Well-Ordered Inner Models (1995) (59)
The Covering Lemma up to a Woodin Cardinal (1997) (59)
PFA implies ADL(ℝ) (2005) (58)
Rigid Borel sets and better quasi-order theory (1985) (57)
K Without the Measurable (2013) (56)
Derived models associated to mice (2007) (55)
Scales in L(R) (1983) (53)
The extent of scales in L(R) (1983) (53)
Determinateness and the separation property (1981) (52)
On Vaught's conjecture (1978) (52)
The core model induction (2007) (50)
Analytic sets and Borel isomorphisms (1980) (50)
HOD as a core model (2016) (46)
The self-iterability of L[E] (2009) (46)
Complementation in the Turing degrees (1989) (45)
Deconstructing inner model theory (2002) (45)
Godel's program (2012) (44)
THE MAXIMALITY OF THE CORE MODEL (1997) (44)
Two consequences of determinacy consistent with choice (1982) (43)
HOD L(ℝ) is a Core Model Below Θ (1995) (42)
Stacking mice (2009) (42)
Core models with more Woodin cardinals (2002) (40)
Scales in K(ℝ) at the end of a weak gap (2008) (37)
HOD IS A CORE MODEL BELOW Θ (2007) (34)
A classification of jump operators (1982) (33)
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations (2011) (29)
Cabal Seminar 81–85 (1988) (28)
Determinacy in the Mitchell models (1982) (26)
Fine structure for tame inner models (1996) (25)
Descending sequences of degrees (1975) (24)
Scales in K(R) (2008) (24)
A Theorem of Woodin on Mouse Sets (2004) (23)
Closure properties of pointclasses (1981) (22)
Σ31 absoluteness and the second uniform indiscernible (1998) (22)
The axiom of determinacy and the prewellordering property (1981) (21)
A weak Dodd-Jensen lemma (1999) (20)
The well-foundedness of the Mitchell order (1993) (19)
Logic Colloquium 2006: The derived model theorem (2009) (18)
The domestic levels ofKc are iterable (2001) (17)
THE MOUSE SET CONJECTURE FOR SETS OF REALS (2015) (17)
Mathematics needs new axioms (2000) (17)
Square principles in ℙmax extensions (2012) (16)
An introduction to core model theory (1999) (15)
Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I: The tree of a Moschovakis scale is homogeneous (2008) (14)
The extent of definable scales (1982) (14)
A stationary-tower-free proof of the derived model theorem (2005) (13)
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II (2011) (13)
Equiconsistencies at subcompact cardinals (2016) (12)
Games, scales, and suslin cardinals (2008) (11)
Local Kc constructions (2007) (9)
Absoluteness and the Second Uniform Indiscernible (1996) (9)
SQUARE PRINCIPLES IN P max EXTENSIONS (2012) (9)
Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 (1988) (8)
AN INTRODUCTION TO ITERATED ULTRAPOWERS (2015) (7)
Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I: Games and scales. Introduction to Part I (2008) (6)
Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III (2016) (6)
Projective sets and cardinal numbers: some questions related to the continuum problem (2011) (6)
Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I: The length-ω1 open game quantifier propagates scales (2008) (6)
Determinacy from strong reflection (2013) (6)
Comparison of fine structural mice via coarse iteration (2013) (5)
An inner models proof of the Kechris–Martin theorem (2016) (5)
Wadge degrees and projective ordinals (2012) (5)
Mouse pairs and Suslin cardinals (2018) (4)
Counterexamples to the unique and cofinal branches hypotheses (2006) (4)
The Comparison Process (1994) (4)
Covering Properties of Core Models (2004) (4)
A note on analytic sets (1980) (4)
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: The axiom of determinacy and the prewellordering property (2011) (3)
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Closure properties of pointclasses (2011) (3)
3 PAUL BERNAYS’LATER PHILOSOPHY OF MATHEMATICS (2007) (2)
Ordinal definability in models of determinacy. Introduction to Part V (2016) (2)
Local K constructions (2003) (2)
Notes on work of Jackson and Sargsyan (2019) (2)
On recursion in E and semi-Spector classes (2016) (1)
How to Win Some Simple Iteration Games (1993) (1)
Review: Eugene M. Kleinberg, Infinitary combinatorics and the axiom of determinateness (1979) (1)
Some λ-errors in NITCIS (2020) (1)
X-ray dose training: are we exposed to enough? A reply to Dr McCoubrie's letter published in Vol 60 No 6 (2005) on p. 730. (2005) (1)
Derived Models , and Σ 1-Reflection (2010) (1)
Chapter 0: Introduction (1996) (0)
2 The consistency strength hierarchy (2012) (0)
EQUICONSISTENCIES AT SUBCOMPACT CARDINALS ITAY NEEMAN AND (2015) (0)
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Original Numbering (2011) (0)
Index of Definitions (1994) (0)
Uniqueness of Wellfounded Branches (1994) (0)
The construction of Kc (2016) (0)
Chapter 5: Iteration Trees (1994) (0)
Chapter 1: The construction of $K^c$ (1996) (0)
More measures from AD (2011) (0)
Introduction (2014) (0)
Solidity and Condensation (1994) (0)
The Cabal Seminar. - Volume II: Wadge degrees and projective ordinals (2012) (0)
Chapter 10: Closure under Initial Segment (1994) (0)
Notices (2009) (0)
Chapter 7: The Comparison Process (1994) (0)
The Cabal Seminar. - Volume I: Games, scales, and suslin cardinals (2008) (0)
Uniqueness of the Next Extender (1994) (0)
Propagation of the scale property using games (2008) (0)
Mathemancal Existence (2005) (0)
Chapter 11: The Construction (1994) (0)
Games and Scales (2006) (0)
Distinct iterable branches (2005) (0)
Closure Under Initial Segment (1994) (0)
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Bibliography (2011) (0)
Chapter 6: An inductive definition of $K$ (1996) (0)
Chapter 3: Squashed Mice (1994) (0)
REVIEWS-Iteration trees (2002) (0)
Chapter 8: Solidity and Condensation (1994) (0)
Chapter 9: A general iterability theorem (1996) (0)
Ordinal definability and recursion theory (2016) (0)
Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I: GAMES AND SCALES (2008) (0)
Good Extender Sequences (1994) (0)
An inductive definition of K (1996) (0)
On Vaught’s conjecture (2020) (0)
The hull and definability properties (1996) (0)
Recursion theoretic papers. Introduction to Part VI (2016) (0)
Chapter 5: The construction of true $K$ (1996) (0)
Embeddings of K (1996) (0)
Chapter 1: Good Extender Sequences (1994) (0)
Chapter 4: Ultrapowers (1994) (0)
Thick classes and universal weasels (1996) (0)
Chapter 9: Uniqueness of the Next Extender (1994) (0)
Chapter 3: Thick classes and universal weasels (1996) (0)
Chapter 2: Iterability (1996) (0)
2005 Annual Meeting of the Association for Symbolic Logic (2006) (0)
Chapter 6: Uniqueness of Wellfounded Branches (1994) (0)
Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I: Scales on ∑11-sets (2008) (0)
Chapter 2: Fine Structure (1994) (0)
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Preface (2011) (0)
The construction of true K (1996) (0)
2009–2010 Winter Meeting of the Association for Symbolic Logic (2010) (0)
Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I: Bibliography (2008) (0)
A general iterability theorem (1996) (0)
Logic Colloquium 2005: Speakers and Titles (2007) (0)
The construction of K C (1996) (0)
Chapter 12: Iterability (1994) (0)
Chapter 4: The hull and definability properties (1996) (0)

This paper list is powered by the following services:

Other Resources About John R. Steel

en.wikipedia.org

What Schools Are Affiliated With John R. Steel?

John R. Steel is affiliated with the following schools:

Image Attributions

Image Source for John R. Steel