|
Search the dblp DataBase
John R. Steel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alessandro Andretta, John Steel
How to Win Some Simple Iteration Games. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:83, n:2, pp:103-164 [Journal]
- William J. Mitchell, Ernest Schimmerling, John R. Steel
The Covering Lemma up to a Woodin Cardinal. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:84, n:2, pp:219-255 [Journal]
- John R. Steel
Inner Models with Many Woodin Cardinals. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1993, v:65, n:2, pp:185-209 [Journal]
- John R. Steel
Projectively Well-Ordered Inner Models. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:74, n:1, pp:77-104 [Journal]
- Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
Does mathematics need new axioms? [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2000, v:6, n:4, pp:401-446 [Journal]
- John R. Steel
HODL(R) is a core model below \Theta. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1995, v:1, n:1, pp:75-84 [Journal]
- Ernest Schimmerling, John R. Steel
Fine Structure for Tame Inner Models. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:2, pp:621-639 [Journal]
- Theodore A. Slaman, John R. Steel
Complementation in the Turing Degrees. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1989, v:54, n:1, pp:160-176 [Journal]
- John R. Steel
Core Models with More Woodin Cardinals. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2002, v:67, n:3, pp:1197-1226 [Journal]
- John R. Steel
Determinateness and the Separation Property. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1981, v:46, n:1, pp:41-44 [Journal]
- John R. Steel
A Classification of Jump Operator. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1982, v:47, n:2, pp:347-358 [Journal]
- John R. Steel
The Well-Foundedness of the Mitchell Order. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1993, v:58, n:3, pp:931-940 [Journal]
Search in 0.003secs, Finished in 0.004secs
|