Abstract
Assuming large cardinals we produce a forcing extension of V which preserves cardinals, does not add reals, and makes the set of points of countable V cofinality in κ+ nonstationary. Continuing to force further, we obtain an extension in which the set of points of countable V cofinality in ν is nonstationary for every regular ν ≥ κ+. Finally we show that our large cardinal assumption is optimal.
Similar content being viewed by others
References
Gitik M. (1986). Changing cofinalities and the nonstationary ideal. Isr. J. Math. 56(3): 280–314
Gitik M. (1999). On closed unbounded sets consisting of former regulars. J. Symbolic Logic 64(1): 1–12
Jech, T.: Set theory. Springer Monographs in Mathematics. Springer, Berlin. The third millennium edition, revised and expanded (2003)
Magidor M. (1978). Changing cofinality of cardinals. Fund. Math. 99(1): 61–71
Mitchell W. (1987). Applications of the covering lemma for sequences of measures. Trans. Am. Math. Soc. 299(1): 41–58
Mitchell, W.J.: The covering lemma. In: Foreman, M., Kanamori, A., Magidor, M. (eds.) Handbook of set theory (to appear)
Mitchell W.J. (1984). The core model for sequences of measures. I. Math. Proc. Camb. Philos. Soc. 95(2): 229–260
Shelah S. (1998). Proper and improper forcing Perspectives in mathematical logic. Springer, Berlin
Viale M. (2006). The proper forcing axiom and the singular cardinal hypothesis. J. Symbolic Logic 71(2): 473–479
Author information
Authors and Affiliations
Corresponding author
Additional information
This material is based upon work supported by the National Science Foundation under Grant no. DMS-0094174.
Rights and permissions
About this article
Cite this article
Gitik, M., Neeman, I. & Sinapova, D. A cardinal preserving extension making the set of points of countable V cofinality nonstationary. Arch. Math. Logic 46, 451–456 (2007). https://doi.org/10.1007/s00153-007-0048-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-007-0048-0