Forcing a mutual stationarity property in cofinality $\omega _1$
HTML articles powered by AMS MathViewer
- by Peter Koepke PDF
- Proc. Amer. Math. Soc. 135 (2007), 1523-1533 Request permission
Abstract:
We show that the consistency strength, relative to the system $\operatorname {ZFC}$, of the mutual stationarity property $\operatorname {MS} (\aleph _3,\aleph _5, \aleph _7, \ldots ; \omega _1 )$ is equal to the existence of one measurable cardinal. We also discuss mutual stationarity for some other configurations of small cardinal parameters.References
- Matthew Foreman and Menachem Magidor, Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on $P_\varkappa (\lambda )$, Acta Math. 186 (2001), no. 2, 271–300. MR 1846032, DOI 10.1007/BF02401842
- M. Foreman, J. Cummings and M. Magidor. Canonical structure in the universe of set theory: part two. Annals of Pure and Applied Logic, 142:55-75, 2006.
- A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977) Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 99–275. MR 520190
- Peter Koepke, The consistency strength of the free-subset property for $\omega _\omega$, J. Symbolic Logic 49 (1984), no. 4, 1198–1204. MR 771788, DOI 10.2307/2274272
- P. Koepke and P. Welch. On the strength of mutual stationarity. In Joan Bagaria and Steve Todorcevic, editors, Set Theory, Centre de Recerca Matemàtica Barcelona, 2003-2004, pp. 209-230. Birkhäuser.
- Kecheng Liu, Stationary subsets of $[\aleph _\omega ]^{<\omega _n}$, J. Symbolic Logic 58 (1993), no. 4, 1201–1218. MR 1253918, DOI 10.2307/2275139
- Kecheng Liu and Saharon Shelah, Cofinalities of elementary substructures of structures on $\aleph _\omega$, Israel J. Math. 99 (1997), 189–205. MR 1469093, DOI 10.1007/BF02760682
Additional Information
- Peter Koepke
- Affiliation: Mathematisches Institut, Universität Bonn, Beringstraße 1, D 53115 Bonn, Germany
- MR Author ID: 199502
- Email: koepke@math.uni-bonn.de
- Received by editor(s): October 13, 2005
- Received by editor(s) in revised form: December 6, 2005
- Published electronically: November 13, 2006
- Communicated by: Julia Knight
- © Copyright 2006
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 135 (2007), 1523-1533
- MSC (2000): Primary 03E35; Secondary 03E02
- DOI: https://doi.org/10.1090/S0002-9939-06-08598-4
- MathSciNet review: 2276663