Skip to main content
SpringerLink
Log in

Preserved under Sacks forcing again?

  • Published:
Acta Mathematica Hungarica Aims and scope Submit manuscript

Abstract

A hierarchy of topological Ramsey spaces \({\mathcal{R}_\alpha}\) (\({\alpha < \omega_1}\)), generalizing the Ellentuck space, were built by Dobrinen and Todorcevic in order to completely classify certain equivalent classes of ultrafilters Tukey (resp. Rudin–Keisler) below \({\mathcal{U}_\alpha}\) \({(\alpha < \omega_1)}\), where \({\mathcal{U}_\alpha}\) are ultrafilters constructed by Laflamme satisfying certain partition properties and have complete combinatorics over the Solovay model. We show that Nash–Williams, or Ramsey ultrafilters in these spaces are preserved under countable-support side-by-side Sacks forcing. This is achieved by proving a parametrized theorem for these spaces, and showing that Nash–Williams ultrafilters localizes the theorem. We also show that every Nash–Williams ultrafilter in \({\mathcal{R}_\alpha}\) is selective.

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

Access this article

Log in via an institution

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. Baumgartner J.E.: Sacks forcing and the total failure of Martin’s axiom.. Topology Appl., 19, 211–225 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baumgartner J. E., Laver R.: Iterated perfect-set forcing. Ann. Math. Logic, 17, 271–288 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  3. Blass A.: Selective ultrafilters and homogeneity. Ann. Pure Appl. Logic, 38, 215–255 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  4. Di Prisco C.A., Llopis J., Todorcevic S.: Parametrized partitions of products of finite sets. Combinatorica, 24, 209–232 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  5. C. A. Di Prisco, J. G. Mijares, and J. Nieto, Local Ramsey theory: An abstract approach, MLQ Math. Log. Q., to appear.

  6. Di Prisco C. A., Todorcevic S.: Souslin partitions of products of finite sets. Adv. Math., 176, 145–173 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  7. Dobrinen N., Todorcevic S.: A new class of Ramsey-classification theorems and their application in the Tukey theory of ultrafilters, Part 1. Trans. Amer. Math. Soc., 366, 1659–1684 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  8. Dobrinen N., Todorcevic S.: A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters, Part 2. Trans. Amer. Math. Soc., 367, 4627–4659 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  9. Ilijas Farah, Semiselective coideals, Mathematika, 45 (1998), 79–103.

  10. Galvin F., Prikry K.: Borel sets and Ramsey’s theorem. J. Symbolic Logic, 38, 193–198 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  11. Laflamme Claude: Forcing with filters and complete combinatorics. Ann. Pure Appl. Logic, 42, 125–163 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  12. Laver R.: Products of infinitely many perfect trees. J. London Math. Soc. (2), 29, 385–396 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  13. Alain Louveau, Une démonstration topologique de théorèmes de Silver et Mathias, Bull. Sci. Math. (2), 98, (1974), 97–102.

  14. Alain Louveau, Une méthode topologique pour l’étude de la propriété de Ramsey, Israel J. Math., 23 (1976), 97–116.

  15. A. R. D. Mathias, On a generalisation of Ramsey’s theorem, Notices Amer. Math. Soc., 15 (1968), 931.

  16. Mathias A. R. D.: Happy families. Ann. Math. Logic, 12, 59–111 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  17. Mijares J.G.: A notion of selective ultrafilter corresponding to topological Ramsey spaces. MLQ Math. Log. Q., 53, 255–267 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. C. St. J. A. Nash–Williams, On well-quasi-ordering transfinite sequences, Proc. Cambridge Philos. Soc., 61 (1965), 33–39.

  19. G. E. Sacks, Forcing with perfect closed sets, in: Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967), Amer. Math. Soc. (Providence, RI, 1971), pp. 331–355.

  20. S. Todorcevic, Introduction to Ramsey Spaces, volume 174 of Annals of Mathematics Studies, Princeton University Press (Princeton, NJ, 2010).

  21. Trujillo T.: Selective but not Ramsey. Topology Appl., 202, 61–69 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  22. Zheng Y. Y.: Selective ultrafilters on FIN. Proc. Amer. Math. Soc., 145, 5071–5086 (2017)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Toronto, Toronto, Ontario, M5S 2E4, Canada

    Y. Y. Zheng

Authors
  1. Y. Y. Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Y. Y. Zheng.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zheng, Y.Y. Preserved under Sacks forcing again?. Acta Math. Hungar. 154, 1–28 (2018). https://doi.org/10.1007/s10474-017-0780-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10474-017-0780-9

Key words and phrases

Mathematics Subject Classification

Search

Navigation