Forcing a mutual stationarity property in cofinality 𝜔₁

Koepke, Peter

doi:10.1090/S0002-9939-06-08598-4

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