2002 | ||
---|---|---|
11 | John R. Steel: Core Models with More Woodin Cardinals. J. Symb. Log. 67(3): 1197-1226 (2002) | |
2000 | ||
10 | EE | Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel: Does mathematics need new axioms? Bulletin of Symbolic Logic 6(4): 401-446 (2000) |
1997 | ||
9 | William 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 | ||
8 | Ernest Schimmerling, John R. Steel: Fine Structure for Tame Inner Models. J. Symb. Log. 61(2): 621-639 (1996) | |
1995 | ||
7 | John R. Steel: Projectively Well-Ordered Inner Models. Ann. Pure Appl. Logic 74(1): 77-104 (1995) | |
6 | EE | John R. Steel: HODL(R) is a core model below \Theta. Bulletin of Symbolic Logic 1(1): 75-84 (1995) |
1993 | ||
5 | John R. Steel: Inner Models with Many Woodin Cardinals. Ann. Pure Appl. Logic 65(2): 185-209 (1993) | |
4 | John R. Steel: The Well-Foundedness of the Mitchell Order. J. Symb. Log. 58(3): 931-940 (1993) | |
1989 | ||
3 | Theodore A. Slaman, John R. Steel: Complementation in the Turing Degrees. J. Symb. Log. 54(1): 160-176 (1989) | |
1982 | ||
2 | John R. Steel: A Classification of Jump Operator. J. Symb. Log. 47(2): 347-358 (1982) | |
1981 | ||
1 | John R. Steel: Determinateness and the Separation Property. J. Symb. Log. 46(1): 41-44 (1981) |
1 | Solomon Feferman | [10] |
2 | Harvey M. Friedman (Harvey Friedman) | [10] |
3 | Penelope Maddy | [10] |
4 | William J. Mitchell | [9] |
5 | Ernest Schimmerling | [8] [9] |
6 | Theodore A. Slaman | [3] |