The covering lemma up to a woodin cardinal

Annals of Pure and Applied Logic

Volumn 84, Issue 2, 1997, Pages 219-255

  Mitchell, W J ^a   Schimmerling, E ^b   Steel, J R ^c  

^a UNIVERSITY OF FLORIDA   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031581982     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(96)00032-2     Document Type: Article

References (21)

1. [1] K.J. Devlin, Constructibility (Springer, Berlin, 1984).
2. [2] A.J. Dodd, The core model, London Mathematical Society Lecture Notes, Ser. 61 (Cambridge Univ. Press, Cambridge (1982).
3. [3] A.J. Dodd and R.B. Jensen, The core model, Ann. Math. Logic 20 (1981) 43-75.
4. [4] A.J. Dodd and R.B. Jensen, The covering lemma for K, Ann. Math. Logic 22 (1982) 1-30.
5. [5] A.J. Dodd and R.B. Jensen, The covering lemma for L[U], Ann. Math. Logic 22 (1982) 127-135.
6. [6] R.B. Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972) 229-308.
7. [7] R.B. Jensen, Non overlapping extenders, preprint.
8. [8] D.A. Martin and J.R. Steel, Iteration trees, J. Amer. Math. Soc. 7 (1994) 1-73.
9. [9] W.J. Mitchell, The core model for sequences of measures I, Math. Proc. Cambridge Philosop. Soc. 95 (1984) 229-260.
10. [10] W.J. Mitchell, The core model for sequences of measures II, preprint.
11. [11] W.J. Mitchell and E. Schimmerling, Covering without countable closure, Math. Res. Lett 2 (1995) 595-609.
12. [12] W.J. Mitchell and J.R. Steel, Fine structure and iteration trees, Lecture Notes in Logic, Vol. 3 (Springer, Berlin, 1994).
13. [13] E. Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Ann. Pure Appl. Logic 74 (1995) 153-201.
14. K holds in L[E], preprint.
15. [15] E. Schimmerling and J.R. Steel, The Maximality of the core model, preprint.
16. [16] E. Schimmerling and J.R. Steel, Fine structure for tame inner models, J. Symbolic Logic 61 (1996).
17. [17] J.R. Steel, The wellfoundedness of the Mitchell order on extenders, J. Symbolic Logic 58 (1993) 931-940.
18. [18] J.R. Steel, Inner models with many Woodin cardinals, Ann. Pure Appl. Logic 65 (1993) 185-209.
19. [19] J.R. Steel, Core models with more Woodin cardinals, preprint.
20. [20] J.R. Steel, The core model iterability problem, Lecture Notes in Logic (Springer, Berlin) to appear.
21. [21] W.H. Woodin, Lectures at the 1995 Greater Boston Logic Conf, Workshop on Inner Model Theory.