Abstract.
A question of Foreman and Magidor asks if it is consistent for every sequence of stationary subsets of the ℵ n ’s for 1≤n<ω to be mutually stationary. We get a positive answer to this question in the context of the negation of the Axiom of Choice. We also indicate how a positive answer to a generalized version of this question in a choiceless context may be obtained.
Similar content being viewed by others
References
Apter, A.: Laver Indestructibility and the Class of Compact Cardinals. J. Symbolic Logic 63, 149–157 (1998)
Apter, A.: Some Results on Consecutive Large Cardinals. Ann. Pure Appl. Logic 25, 1–17 (1983)
Apter, A.: Some Results on Consecutive Large Cardinals II: Applications of Radin Forcing. Israel J. Math. 52, 273–292 (1985)
Apter, A.: Some New Upper Bounds in Consistency Strength for Certain Choiceless Large Cardinal Patterns. Arch. Math. Logic 31, 201–205 (1992)
Apter, A., Hamkins, J.D.: Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata. Math. Logic Q. 47, 563–571 (2001)
Cummings, J., Foreman, M., Magidor, M.: Canonical Structure in the Universe of Set Theory: Part II. Submitted for publication to Annals of Pure and Applied Logic
Foreman, M., Magidor, M.: Mutually Stationary Sequences of Sets and the Non-Saturation of the Non-Stationary Ideal on Pκ(λ). Acta Mathematicae 186, 271–300 (2001)
Laver, R.: Making the Supercompactness of κ Indestructible under κ-Directed Closed Forcing. Israel J. Math. 29, 385–388 (1978)
Lévy, A., Solovay, R.: Measurable Cardinals and the Continuum Hypothesis. Israel J. Math. 5, 234–248 (1967)
Schindler, R.: Mutual Stationarity in the Core Model. To appear in Proceedings of Logic Colloquium 2001
Author information
Authors and Affiliations
Corresponding author
Additional information
The author wishes to thank James Cummings for helpful correspondence on the subject matter of this paper. The author also wishes to thank the referee and Andreas Blass, the corresponding editor, for helpful comments and suggestions that have been incorporated into this version of the paper. 03E35, 03E55 Supercompact cardinal – Indestructibility – Almost huge cardinal – Mutual stationarity – Symmetric inner model
Revised version: 6 June 2004
Rights and permissions
About this article
Cite this article
Apter, A. On a problem of Foreman and Magidor. Arch. Math. Logic 44, 493–498 (2005). https://doi.org/10.1007/s00153-004-0259-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0259-6