×

Chang’s model and covering properties. (English) Zbl 0671.03032

The author studies the covering properties of the Chang model C (the equivalent of the constructible universe for the infinitary language \({\mathcal L}_{\omega_ 1,\omega_ 1})\) and of the model \(N=\cup \{L(A)\); A countable set of ordinals\(\}\). She shows, e.g., that the failure of the covering property for C is equiconsistent with the existence of uncountably many measurable cardinals. A similar result is obtained for the model N. The main tool used in the paper are the core model techniques.
Reviewer: L.Bukovský

MSC:

03E47 Other notions of set-theoretic definability
03E35 Consistency and independence results
03E55 Large cardinals
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Chang, C. C., Sets constructible using \(L_{кк}\), (Proc. Symp. Pure Math., 13 (1974), Amer. Math. Soc: Amer. Math. Soc Providence, RI), 1-8, Part I
[2] Dehornoy, P., An application of ultrapowers to changing cofinality, J. Symbolic Logic, 48, 225-235 (1983) · Zbl 0526.03033
[3] Devlin, K. J., Constructibility (1984), Springer: Springer Berlin · Zbl 0542.03029
[4] Dodd, A., The Core Model (1982), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0474.03027
[5] Dodd, A.; Jensen, R., The core model, Ann. Math. Logic, 22, 1-30 (1982) · Zbl 0492.03014
[6] Jech, T., Set Theory (1978), Academic Press: Academic Press New York · Zbl 0419.03028
[7] Koepke, P., A theory of short core models and some applications, Ph.D. dissertation Freiburg (1983)
[8] Kunen, K., Some applications of iterated ultrapowers in Set Theory, Ann. Math. Logic, 1, 179-227 (1970) · Zbl 0236.02053
[9] Kunen, K., A model for the negation of the axiom of choice, (Lecture Notes in Math., 337 (1973), Springer: Springer Berlin), 489-494
[10] Mitchell, W. J., The core model for sequences of measures 1, Math. Proc. Camb. Phil. Soc., 95, 229-260 (1984), The core model for sequences of measures 2, to appear. · Zbl 0539.03030
[11] W.J. Mitchell, Applications of the covering lemma for sequences of measures, to appear.; W.J. Mitchell, Applications of the covering lemma for sequences of measures, to appear. · Zbl 0626.03047
[12] Sureson, C., \(ω_1\)-constructible universe and measurable cardinals, Ann. Pure Appl. Logic, 30, 293-320 (1986) · Zbl 0593.03029
[13] Sureson, C., The model
((N\) = ∪ {L[A]\): \(A\) countable set of ordinals}, Ann. Pure Appl. Logic, 36, 289-313 (1987) · Zbl 0649.03039
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.