John R. Steel

Publication Activity (10 Years)

Years Active: 1975-2024
Publications (10 Years): 2

Top Topics

Structural Analysis

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

John R. Steel
The comparison lemma. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Itay Neeman, John R. Steel
Equiconsistencies at subcompact cardinals. Arch. Math. Log. 55 (1-2) (2016)
Farmer Schlutzenberg, John R. Steel
Comparison of fine structural mice via coarse iteration. Arch. Math. Log. 53 (5-6) (2014)
Ronald Jensen, John R. Steel
K without the measurable. J. Symb. Log. 78 (3) (2013)
Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John R. Steel
Stacking mice. J. Symb. Log. 74 (1) (2009)
Ralf Schindler, John R. Steel
The self-iterability of L[E]. J. Symb. Log. 74 (3) (2009)
John R. Steel
at the end of a weak gap. J. Symb. Log. 73 (2) (2008)
John R. Steel
constructions. J. Symb. Log. 72 (3) (2007)
Itay Neeman, John R. Steel
Counterexamples to the unique and cofinal branches hypotheses. J. Symb. Log. 71 (3) (2006)
John R. Steel
Distinct iterable branches. J. Symb. Log. 70 (4) (2005)
John R. Steel
. J. Symb. Log. 70 (4) (2005)
Ralf-Dieter Schindler, John R. Steel, Martin Zeman
Deconstructing Inner Model Theory. J. Symb. Log. 67 (2) (2002)
John R. Steel
Core Models with More Woodin Cardinals. J. Symb. Log. 67 (3) (2002)
Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
Does mathematics need new axioms? Bull. Symb. Log. 6 (4) (2000)
Itay Neeman, John R. Steel
A Weak Dodd-Jensen Lemma. J. Symb. Log. 64 (3) (1999)
William J. Mitchell, Ernest Schimmerling, John R. Steel
The Covering Lemma up to a Woodin Cardinal. Ann. Pure Appl. Log. 84 (2) (1997)
Alessandro Andretta, John R. Steel
How to Win Some Simple Iteration Games. Ann. Pure Appl. Log. 83 (2) (1997)
Ernest Schimmerling, John R. Steel
Fine Structure for Tame Inner Models. J. Symb. Log. 61 (2) (1996)
John R. Steel
Projectively Well-Ordered Inner Models. Ann. Pure Appl. Log. 74 (1) (1995)
John R. Steel
is a core model below \Theta. Bull. Symb. Log. 1 (1) (1995)
John R. Steel
The Well-Foundedness of the Mitchell Order. J. Symb. Log. 58 (3) (1993)
John R. Steel
Inner Models with Many Woodin Cardinals. Ann. Pure Appl. Logic 65 (2) (1993)
Theodore A. Slaman, John R. Steel
Complementation in the Turing Degrees. J. Symb. Log. 54 (1) (1989)
John R. Steel
A Classification of Jump Operator. J. Symb. Log. 47 (2) (1982)
John R. Steel
Determinacy in the Mitchell models. Ann. Math. Log. 22 (2) (1982)
John R. Steel
Determinateness and the Separation Property. J. Symb. Log. 46 (1) (1981)
John R. Steel
Descending Sequences of Degrees. J. Symb. Log. 40 (1) (1975)