John R. Steel - RankMe

30 papers Journal 27

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	The comparison lemma. Ann. Pure Appl. Log. John R. Steel
2017	—	`book`	Fine Structure and Iteration Trees William J. Mitchell, John R. Steel
2017	—	`book`	The Core Model Iterability Problem John R. Steel
2016	J	`jnl`	Equiconsistencies at subcompact cardinals. Arch. Math. Log. Itay Neeman, John R. Steel
2014	J	`jnl`	Comparison of fine structural mice via coarse iteration. Arch. Math. Log. Farmer Schlutzenberg, John R. Steel
2013	J	`jnl`	K without the measurable. J. Symb. Log. Ronald Jensen, John R. Steel
2009	J	`jnl`	Stacking mice. J. Symb. Log. Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John R. Steel
2009	J	`jnl`	The self-iterability of L[E]. J. Symb. Log. Ralf Schindler, John R. Steel
2008	J	`jnl`	Scales in J. Symb. Log. John R. Steel
2007	J	`jnl`	Local K J. Symb. Log. John R. Steel
2006	J	`jnl`	Counterexamples to the unique and cofinal branches hypotheses. J. Symb. Log. Itay Neeman, John R. Steel
2005	J	`jnl`	Distinct iterable branches. J. Symb. Log. John R. Steel
2005	J	`jnl`	PFA implies AD J. Symb. Log. John R. Steel
2002	J	`jnl`	Core Models with More Woodin Cardinals. J. Symb. Log. John R. Steel
2002	J	`jnl`	Deconstructing Inner Model Theory. J. Symb. Log. Ralf-Dieter Schindler, John R. Steel, Martin Zeman
2000	J	`jnl`	Does mathematics need new axioms? Bull. Symb. Log. Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
1999	J	`jnl`	A Weak Dodd-Jensen Lemma. J. Symb. Log. Itay Neeman, John R. Steel
1997	J	`jnl`	How to Win Some Simple Iteration Games. Ann. Pure Appl. Log. Alessandro Andretta, John R. Steel
1997	J	`jnl`	The Covering Lemma up to a Woodin Cardinal. Ann. Pure Appl. Log. William J. Mitchell, Ernest Schimmerling, John R. Steel
1996	J	`jnl`	Fine Structure for Tame Inner Models. J. Symb. Log. Ernest Schimmerling, John R. Steel
1995	J	`jnl`	HOD Bull. Symb. Log. John R. Steel
1995	J	`jnl`	Projectively Well-Ordered Inner Models. Ann. Pure Appl. Log. John R. Steel
1994	—	`book`	Fine Structure and Iteration Trees. William J. Mitchell, John R. Steel
1993	J	`jnl`	Inner Models with Many Woodin Cardinals. Ann. Pure Appl. Logic John R. Steel
1993	J	`jnl`	The Well-Foundedness of the Mitchell Order. J. Symb. Log. John R. Steel
1989	J	`jnl`	Complementation in the Turing Degrees. J. Symb. Log. Theodore A. Slaman, John R. Steel
1982	J	`jnl`	A Classification of Jump Operator. J. Symb. Log. John R. Steel
1982	J	`jnl`	Determinacy in the Mitchell models. Ann. Math. Log. John R. Steel
1981	J	`jnl`	Determinateness and the Separation Property. J. Symb. Log. John R. Steel
1975	J	`jnl`	Descending Sequences of Degrees. J. Symb. Log. John R. Steel