Definable singularity
HTML articles powered by AMS MathViewer
- by William J. Mitchell PDF
- Trans. Amer. Math. Soc. 327 (1991), 407-426 Request permission
Abstract:
The main result of this paper is a characterization of singular cardinals in terms of the core model, assuming that there is no model of $\exists \kappa o(\kappa )= {\kappa ^{ + + }}$. This characterization is used to prove a result in infinitary Ramsey theory. In the course of the proof we develop a simplified statement of the covering lemma for sequences of measures which avoids the use of mice. We believe that this development will be capable of isolating almost all applications of the covering lemma from the detailed structure of the core model.References
- A. J. Dodd, The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. MR 652253
- Sy D. Friedman, Coding over a measurable cardinal, J. Symbolic Logic 54 (1989), no. 4, 1145–1159. MR 1026594, DOI 10.2307/2274810
- Moti Gitik, Changing cofinalities and the nonstationary ideal, Israel J. Math. 56 (1986), no. 3, 280–314. MR 882254, DOI 10.1007/BF02782938 —, On the strength of $\neg$ SCH, handwritten notes.
- A. Beller, R. Jensen, and P. Welch, Coding the universe, London Mathematical Society Lecture Note Series, vol. 47, Cambridge University Press, Cambridge-New York, 1982. MR 645538
- Menachem Magidor, Changing cofinality of cardinals, Fund. Math. 99 (1978), no. 1, 61–71. MR 465868, DOI 10.4064/fm-99-1-61-71
- William J. Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57–66. MR 344123, DOI 10.2307/2272343 —, Indiscernibles, skies and ultrafilters, Contemp. Math. 31 (1984), 161-182.
- William J. Mitchell, The core model for sequences of measures. I, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 2, 229–260. MR 735366, DOI 10.1017/S030500410006151X
- William J. Mitchell, The core model for sequences of measures. I, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 2, 229–260. MR 735366, DOI 10.1017/S030500410006151X —, On the singular cardinal hypothesis, Trans. Amer. Math. Soc. (submitted). —, An infinitary Ramsey property, Ann. Pure Appl. Logic (submitted).
- K. L. Prikry, Changing measurable into accessible cardinals, Dissertationes Math. (Rozprawy Mat.) 68 (1970), 55. MR 262075
- Lon Berk Radin, Adding closed cofinal sequences to large cardinals, Ann. Math. Logic 22 (1982), no. 3, 243–261. MR 670992, DOI 10.1016/0003-4843(82)90023-7 M. Spector, Natural sequences of mathematics which are independent of $V= L,\upsilon = L[\mu ]\;$, etc., preprint.
Additional Information
- © Copyright 1991 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 327 (1991), 407-426
- MSC: Primary 03E45; Secondary 03E55
- DOI: https://doi.org/10.1090/S0002-9947-1991-1036006-0
- MathSciNet review: 1036006