Abstract
Our understanding of inner models was transformed in 1974 by as set of handwritten notes of Ronald Jensen with the modest title “Marginalia on a Theorem of Silver”. Before the covering lemma, Gödel’s class L of constructible sets was a model of set theory of which much was know, but which had little connection with the universe; with the covering lemma it is, in the absence of large cardinals, the supporting skeleton of the universe.
The first section of this chapter discusses the forms of the covering lemma, beginning with Jensen’s original lemma for L, going to extensions taking into account arbitrary sequences of measurable cardinals, and then describing variants of the statement: the weak covering lemma, which is basic to inner models beyond measurable cardinals, the strong covering lemma, and variants such as that of Magidor which avoid the need for second order closure. Later sections discuss applications, give proofs of the statements, and discuss what is known up to and beyond a Woodin cardinal.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
The writing of this chapter was partially supported by grant number DMS-9970536 from the National Science Foundation.
The author would also like to thank Diego Rojas-Robello, Assaf Sharon and the referee for helpful suggestions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Uri Abraham and Menachem Magidor. Cardinal arithmetic. Chapter 14 in this Handbook. 10.1007/978-1-4020-5764-9_15.
Stewart Baldwin. Between strong and superstrong. The Journal of Symbolic Logic, 51(3):547–559, 1986.
James E. Baumgartner. Ineffability properties of cardinals. II. In Logic, Foundations of Mathematics and Computability Theory (Proc. Fifth Internat. Congr. Logic Methodology Philos. Sci., Univ. Western Ontario, London, ON, 1975), Part I, pages 87–1069. Reidel, Dordrecht, 1977.
Paul J. Cohen. The independence of the continuum hypothesis, I. Proceedings of the National Academy of Sciences USA, 50:1143–1148, 1963.
Paul J. Cohen. The independence of the continuum hypothesis, II. Proceedings of the National Academy of Sciences USA, 50:105–110, 1964.
Keith J. Devlin. Aspects of Constructibility, volume 354 of Lecture Notes in Mathematics. Springer, Berlin, 1973.
Keith J. Devlin and Ronald B. Jensen. Marginalia to a theorem of Silver. In Proceedings of the ISILC Logic Conference (Kiel 1974), volume 499 of Lecture Notes in Mathematics, pages 115–142. Springer, Berlin, 1975.
Anthony J. Dodd. The Core Model, volume 61 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1982.
Anthony J. Dodd and Ronald B. Jensen. The core model. Annals of Mathematical Logic, 20(1):43–75, 1981.
Anthony J. Dodd and Ronald B. Jensen. The covering lemma for K. Annals of Mathematical Logic, 22(1):1–30, 1982.
Anthony J. Dodd and Ronald B. Jensen. The covering lemma for L[U]. Annals of Mathematical Logic, 22(2):127–135, 1982.
Hans-Dieter Donder, Ronald B. Jensen, and Bernd J. Koppelberg. Some applications of the core model. In Set Theory and Model Theory (Bonn, 1979), volume 872 of Lecture Notes in Mathematics, pages 55–97. Springer, Berlin, 1981.
William B. Easton. Powers of regular cardinals. PhD thesis, Princeton University, 1964.
William B. Easton. Powers of regular cardinals. Annals of Mathematical Logic, 1:139–178, 1970.
Moti Gitik. Prikry-type forcings. Chapter 16 in this Handbook. 10.1007/978-1-4020-5764-9_17.
Moti Gitik. The negation of the singular cardinal hypothesis from o(κ)=κ ++. Annals of Pure and Applied Logic, 43(3):209–234, 1989.
Moti Gitik. The strength of the failure of the singular cardinal hypothesis. Annals of Pure and Applied Logic, 51(3):215–240, 1991.
Moti Gitik. On measurable cardinals violating the continuum hypothesis. Annals of Pure and Applied Logic, 63(3):227–240, 1993.
Moti Gitik. Some results on the nonstationary ideal. Israel Journal of Mathematics, 92(1–3):61–112, 1995.
Moti Gitik. Blowing up the power of a singular cardinal. Annals of Pure and Applied Logic, 80(1):17–33, 1996.
Moti Gitik. On hidden extenders. Archive for Mathematical Logic, 35(5–6):349–369, 1996.
Moti Gitik. Some results on the nonstationary ideal. II. Israel Journal of Mathematics, 99:175–188, 1997.
Moti Gitik and William J. Mitchell. Indiscernible sequences for extenders, and the singular cardinal hypothesis. Annals of Pure and Applied Logic, 82(3):273–316, 1996.
Moti Gitik, Ralf Schindler, and Saharon Shelah. Pcf theory and Woodin cardinals. In Logic Colloquium’02, volume 27 of Lecture Notes in Logic, pages 172–205. Association for Symbolic Logic, Urbana, 2006.
Thomas J. Jech. Set Theory. Springer Monographs in Mathematics. Springer, Berlin, 2002. The third millennium edition, revised and expanded.
Ronald B. Jensen. Marginalia to a theorem of Silver. Handwritten notes (several sets), 1974
Ronald B. Jensen, Ernest Schimmerling, Ralf Schindler, and John R. Steel. Stacking mice. The Journal of Symbolic Logic, 74(1):315–335, 2009.
Akihiro Kanamori. The Higher Infinite: Large Cardinals in Set Theory. Springer, Berlin, 2003. Second edition.
Benedikt Löwe and John R. Steel. An introduction to core model theory. In Sets and Proofs (Leeds, 1997), volume 258 of London Mathematical Society Lecture Note Series, pages 103–157. Cambridge University Press, Cambridge, 1999.
Menachem Magidor. Changing cofinality of cardinals. Fundamenta Mathematicae, 99(1):61–71, 1978.
Menachem Magidor. Representing sets of ordinals as countable unions of sets in the core model. Transactions of the American Mathematical Society, 317(1):91–126, 1990.
Wilmiam J. Mitchell. Beginning inner model theory. Chapter 17 in this Handbook. 10.1007/978-1-4020-5764-9_18.
William J. Mitchell. Ramsey cardinals and constructibility. Journal of Symbolic Logic, 44(2):260–266, 1979.
William J. Mitchell. How weak is a closed unbounded ultrafilter? In Dirk van Dalen, Daniel Lascar, and Timothy J. Smiley, editors, Logic Colloquium ’80 (Prague, 1998), pages 209–230. North-Holland, Amsterdam, 1982.
William J. Mitchell. The core model for sequences of measures. I. Mathematical Proceedings of the Cambridge Philosophical Society, 95(2):229–260, 1984.
William J. Mitchell. Indiscernibles, skies, and ideals. In James E. Baumgartner, Donald A. Martin, and Saharon Shelah, editors, Axiomatic Set Theory (Boulder, CO, 1983), volume 31 of Contemporary Mathematics, pages 161–182. American Mathematical Society, Providence, 1984.
William J. Mitchell. Applications of the covering lemma for sequences of measures. Transactions of the American Mathematical Society, 299(1):41–58, 1987.
William J. Mitchell. Definable singularity. Transactions of the American Mathematical Society, 327(1):407–426, 1991.
William J. Mitchell. \(\mathbf{\Sigma}^{1}_{3}\) -absoluteness for sequences of measures. In Set Theory of the Continuum (Berkeley, CA, 1989), volume 26 of Mathematical Sciences Research Institute Publications, pages 311–355. Springer, New York, 1992.
William J. Mitchell. On the singular cardinal hypothesis. Transactions of the American Mathematical Society, 329(2):507–530, 1992.
William J. Mitchell. Jónsson cardinals, Erdős cardinals, and the core model. Preliminary, available on Logic Eprints, 1994.
William J. Mitchell. A hollow shell: Covering lemmas without a core. In Carlos Di Prisco, Jean A. Larson, Joan Bagaria, and Adrian R. D. Mathias, editors, Set Theory: Techniques and Applications, pages 183–198. Kluwer Academic, Dordrecht, 1998.
William J. Mitchell and Ernest Schimmerling. Weak covering without countable closure. Mathematical Research Letters, 2(5):595–609, 1995.
William J. Mitchell and Ralf Schindler. A universal extender model without large cardinals in V. The Journal of Symbolic Logic, 69(2):371–386, 2004.
William J. Mitchell, Ernest Schimmerling, and John R. Steel. The covering lemma up to a Woodin cardinal. Annals of Pure and Applied Logic, 84(2):219–255, 1997.
Karl Prikry. Changing measurable into accessible cardinals. Dissertationes Mathematicae (Rozprawy Mathematycne), 68:359–378, 1971.
Ernest Schimmerling. A core model toolbox and guide. Chapter 20 in this Handbook. 10.1007/978-1-4020-5764-9_21.
Ernest Schimmerling and W. Hugh Woodin. The Jensen covering property. The Journal of Symbolic Logic, 66(4):1505–1523, 2001.
Ralf Schindler. Weak covering and the tree property. Archive for Mathematical Logic, 38(8):515–520, 1999.
Ralf Schindler. The core model for almost linear iterations. Annals of Pure and Applied Logic, 116(1–3):205–272, 2002.
Ralf Schindler. Iterates of the core model. The Journal of Symbolic Logic, 71:241–251, 2006.
Ralf Schindler and Martin Zeman. Fine structure. Chapter 9 in this Handbook. 10.1007/978-1-4020-5764-9_10.
Saharon Shelah. Cardinal Arithmetic, volume 29 of Oxford Logic Guides. Oxford University Press, Oxford, 1994.
Saharon Shelah. Strong covering without squares. Fundamenta Mathematicae, 166(1–2):87–107, 2000. Saharon Shelah’s anniversary issue.
Saharon Shelah and W. Hugh Woodin. Forcing the failure of CH by adding a real. The Journal of Symbolic Logic, 49(4):1185–1189, 1984.
Jack Silver. On the singular cardinals problem. In Proceedings of the International Congress of Mathematicians, Vol. 1, pages 265–268. Canadian Mathematical Congress, Vancouver, 1975.
John R. Steel. An outline of inner model theory. Chapter 19 in this Handbook. 10.1007/978-1-4020-5764-9_20.
John R. Steel. The Core Model Iterability Problem, volume 8 of Lecture Notes in Logic. Springer, Berlin, 1996.
John R. Steel and Philip D. Welch. \(\Sigma^{1}_{3}\) absoluteness and the second uniform indiscernible. Israel Journal of Mathematics, 104:157–190, 1998.
Claude Sureson. Excursion en mesurabilite. PhD thesis, City University of New York, 1984.
John Vickers and Philip D. Welch. On elementary embeddings from an inner model to the universe. The Journal of Symbolic Logic, 66(3):1090–1116, 2001.
Philip D. Welch. Some remarks on the maximality of inner models. In Samuel R. Buss, Petr Hajek, and Pavel Pudlak, editors, Logic Colloquium ’98 (Prague), volume 13 of Lecture Notes in Logic, pages 516–540. Association Symbolic Logic, Urbana, 2000.
W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences USA, 85(18):6587–6591, 1988.
W. Hugh Woodin. The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. de Gruyter, Berlin, 1999.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Mitchell, W.J. (2010). The Covering Lemma. In: Foreman, M., Kanamori, A. (eds) Handbook of Set Theory. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5764-9_19
Download citation
DOI: https://doi.org/10.1007/978-1-4020-5764-9_19
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4843-2
Online ISBN: 978-1-4020-5764-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)