Saturation of the closed unbounded filter on the set of regular cardinals
HTML articles powered by AMS MathViewer
- by Thomas J. Jech and W. Hugh Woodin PDF
- Trans. Amer. Math. Soc. 292 (1985), 345-356 Request permission
Abstract:
For any $\alpha < {\kappa ^ + }$, the following are equiconsistent: (a) $\kappa$ is measurable of order $\alpha$, (b) $\kappa$ is $\alpha$-Mahlo and the filter ${\mathbf {C}}[\operatorname {Reg} ]$ is saturated.References
- James E. Baumgartner, Alan D. Taylor, and Stanley Wagon, On splitting stationary subsets of large cardinals, J. Symbolic Logic 42 (1977), no. 2, 203–214. MR 505505, DOI 10.2307/2272121
- Thomas Jech, Stationary subsets of inaccessible cardinals, Axiomatic set theory (Boulder, Colo., 1983) Contemp. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1984, pp. 115–142. MR 763898, DOI 10.1090/conm/031/763898
- Kenneth Kunen, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic 1 (1970), 179–227. MR 277346, DOI 10.1016/0003-4843(70)90013-6
- Kenneth Kunen, Saturated ideals, J. Symbolic Logic 43 (1978), no. 1, 65–76. MR 495118, DOI 10.2307/2271949
- K. Kunen and J. B. Paris, Boolean extensions and measurable cardinals, Ann. Math. Logic 2 (1970/71), no. 4, 359–377. MR 277381, DOI 10.1016/0003-4843(71)90001-5
- William J. Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57–66. MR 344123, DOI 10.2307/2272343 —, The core model for sequences of measures, Math. Proc. Cambridge Philos. Soc. (to appear).
- Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955
- Robert M. Solovay, Real-valued measurable cardinals, Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 397–428. MR 0290961
Additional Information
- © Copyright 1985 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 292 (1985), 345-356
- MSC: Primary 03E55; Secondary 03E35
- DOI: https://doi.org/10.1090/S0002-9947-1985-0805967-1
- MathSciNet review: 805967