John R. Steel

According to our database, John R. Steel authored at least 30 papers between 1975 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The comparison lemma.

John R. Steel

Ann. Pure Appl. Log., January, 2024

2017

The Core Model Iterability Problem

John R. Steel

Lecture Notes in Logic 8, Cambridge University Press, ISBN: 9781316716892, 2017

Fine Structure and Iteration Trees

William J. Mitchell, John R. Steel

Lecture Notes in Logic 3, Cambridge University Press, ISBN: 9781316718315, 2017

2016

Equiconsistencies at subcompact cardinals.

Itay Neeman, John R. Steel

Arch. Math. Log., 2016

2014

Comparison of fine structural mice via coarse iteration.

Farmer Schlutzenberg, John R. Steel

Arch. Math. Log., 2014

2013

K without the measurable.

Ronald Jensen, John R. Steel

J. Symb. Log., 2013

2009

The self-iterability of L[E].

Ralf Schindler, John R. Steel

J. Symb. Log., 2009

Stacking mice.

Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John R. Steel

J. Symb. Log., 2009

2008

Scales in <i>K(R)</i> at the end of a weak gap.

John R. Steel

J. Symb. Log., 2008

2007

Local K^c constructions.

John R. Steel

J. Symb. Log., 2007

2006

Counterexamples to the unique and cofinal branches hypotheses.

Itay Neeman, John R. Steel

J. Symb. Log., 2006

2005

PFA implies AD^L(ℝ).

John R. Steel

J. Symb. Log., 2005

Distinct iterable branches.

John R. Steel

J. Symb. Log., 2005

2002

Core Models with More Woodin Cardinals.

John R. Steel

J. Symb. Log., 2002

Deconstructing Inner Model Theory.

Ralf-Dieter Schindler, John R. Steel, Martin Zeman

J. Symb. Log., 2002

2000

Does mathematics need new axioms?

Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel

Bull. Symb. Log., 2000

1999

A Weak Dodd-Jensen Lemma.

Itay Neeman, John R. Steel

J. Symb. Log., 1999

1997

The Covering Lemma up to a Woodin Cardinal.

William J. Mitchell, Ernest Schimmerling, John R. Steel

Ann. Pure Appl. Log., 1997

How to Win Some Simple Iteration Games.

Alessandro Andretta, John R. Steel

Ann. Pure Appl. Log., 1997

1996

Fine Structure for Tame Inner Models.

Ernest Schimmerling, John R. Steel

J. Symb. Log., 1996

1995

HOD^L(R) is a core model below \Theta.

John R. Steel

Bull. Symb. Log., 1995

Projectively Well-Ordered Inner Models.

John R. Steel

Ann. Pure Appl. Log., 1995

1994

Fine Structure and Iteration Trees.

William J. Mitchell, John R. Steel

Lecture Notes in Logic 3, Springer, ISBN: 978-0-387-57494-3, 1994

1993

The Well-Foundedness of the Mitchell Order.

John R. Steel

J. Symb. Log., 1993

Inner Models with Many Woodin Cardinals.

John R. Steel

Ann. Pure Appl. Logic, 1993

1989

Complementation in the Turing Degrees.

Theodore A. Slaman, John R. Steel

J. Symb. Log., 1989

1982

A Classification of Jump Operator.

John R. Steel

J. Symb. Log., 1982

Determinacy in the Mitchell models.

John R. Steel

Ann. Math. Log., 1982

1981

Determinateness and the Separation Property.

John R. Steel

J. Symb. Log., 1981

1975

Descending Sequences of Degrees.

John R. Steel

J. Symb. Log., 1975