The covering lemma up to a Woodin cardinal
- 21 March 1997
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 84 (2) , 219-255
- https://doi.org/10.1016/s0168-0072(96)00032-2
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Fine structure for tame inner modelsThe Journal of Symbolic Logic, 1996
- Combinatorial principles in the core model for one Woodin cardinalAnnals of Pure and Applied Logic, 1995
- Weak covering without countable closureMathematical Research Letters, 1995
- Iteration treesJournal of the American Mathematical Society, 1994
- The well-foundedness of the Mitchell orderThe Journal of Symbolic Logic, 1993
- The covering lemma for L[U]Annals of Mathematical Logic, 1982
- The covering lemma for KAnnals of Mathematical Logic, 1982
- The Core ModelPublished by Cambridge University Press (CUP) ,1982
- The core modelAnnals of Mathematical Logic, 1981
- The fine structure of the constructible hierarchyAnnals of Mathematical Logic, 1972