Skip to main content
Log in

A cardinal preserving extension making the set of points of countable V cofinality nonstationary

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Gitik M. (1986). Changing cofinalities and the nonstationary ideal. Isr. J. Math. 56(3): 280–314

    MATH  MathSciNet  Google Scholar 

  2. Gitik M. (1999). On closed unbounded sets consisting of former regulars. J. Symbolic Logic 64(1): 1–12

    Article  MATH  MathSciNet  Google Scholar 

  3. Jech, T.: Set theory. Springer Monographs in Mathematics. Springer, Berlin. The third millennium edition, revised and expanded (2003)

  4. Magidor M. (1978). Changing cofinality of cardinals. Fund. Math. 99(1): 61–71

    MATH  MathSciNet  Google Scholar 

  5. Mitchell W. (1987). Applications of the covering lemma for sequences of measures. Trans. Am. Math. Soc. 299(1): 41–58

    Article  MATH  Google Scholar 

  6. Mitchell, W.J.: The covering lemma. In: Foreman, M., Kanamori, A., Magidor, M. (eds.) Handbook of set theory (to appear)

  7. Mitchell W.J. (1984). The core model for sequences of measures. I. Math. Proc. Camb. Philos. Soc. 95(2): 229–260

    Article  MATH  Google Scholar 

  8. Shelah S. (1998). Proper and improper forcing Perspectives in mathematical logic. Springer, Berlin

    Google Scholar 

  9. Viale M. (2006). The proper forcing axiom and the singular cardinal hypothesis. J. Symbolic Logic 71(2): 473–479

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Moti Gitik.

Additional information

This material is based upon work supported by the National Science Foundation under Grant no. DMS-0094174.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-007-0048-0

Keywords

Navigation