John R. Steel Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2002
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: Core Models with More Woodin Cardinals. J. Symb. Log. 67(3): 1197-1226 (2002)
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel: Does mathematics need new axioms? Bulletin of Symbolic Logic 6(4): 401-446 (2000)
1997
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam J. Mitchell, Ernest Schimmerling, John R. Steel: The Covering Lemma up to a Woodin Cardinal. Ann. Pure Appl. Logic 84(2): 219-255 (1997)
1996
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnest Schimmerling, John R. Steel: Fine Structure for Tame Inner Models. J. Symb. Log. 61(2): 621-639 (1996)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: Projectively Well-Ordered Inner Models. Ann. Pure Appl. Logic 74(1): 77-104 (1995)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: HODL(R) is a core model below \Theta. Bulletin of Symbolic Logic 1(1): 75-84 (1995)
1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: Inner Models with Many Woodin Cardinals. Ann. Pure Appl. Logic 65(2): 185-209 (1993)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: The Well-Foundedness of the Mitchell Order. J. Symb. Log. 58(3): 931-940 (1993)
1989
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodore A. Slaman, John R. Steel: Complementation in the Turing Degrees. J. Symb. Log. 54(1): 160-176 (1989)
1982
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: A Classification of Jump Operator. J. Symb. Log. 47(2): 347-358 (1982)
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. Steel: Determinateness and the Separation Property. J. Symb. Log. 46(1): 41-44 (1981)

Coauthor Index

1Solomon Feferman [10]
2Harvey M. Friedman (Harvey Friedman) [10]
3Penelope Maddy [10]
4William J. Mitchell [9]
5Ernest Schimmerling [8] [9]
6Theodore A. Slaman [3]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)