Fine structure for tame inner models

Journal of Symbolic Logic

Volumn 61, Issue 2, 1996, Pages 621-639

  Schimmerling, E ^a   Steel, J R ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030542925     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275679     Document Type: Article

References (6)

1. D. A. MARTIN and J. R. STEEL, Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1-73.
2. W. J. MITCHELL and J. R. STEEL, Fine structure and iteration trees, Springer Lecture Notes in Logic, vol. 3, Springer-Verlag, 1994.
3. E. SCHIMMERLING, Combinatorial principles in the core model for one Woodin cardinal, Annals of Pure and Applied Logic, vol. 74 (1995), pp. 153-201.
4. J. R. STEEL, The core model iterability problem, to appear in Springer Lecture Notes in Logic.
5. _, Core models with more Woodin cardinals, preprint.
6. _, Inner models with many Woodin cardinals, Annals of Pure and Applied Logic, vol. 65 (1993), pp. 185-209.