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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Baumgartner J.E.: Sacks forcing and the total failure of Martin’s axiom.. Topology Appl., 19, 211–225 (1985)
Baumgartner J. E., Laver R.: Iterated perfect-set forcing. Ann. Math. Logic, 17, 271–288 (1979)
Blass A.: Selective ultrafilters and homogeneity. Ann. Pure Appl. Logic, 38, 215–255 (1988)
Di Prisco C.A., Llopis J., Todorcevic S.: Parametrized partitions of products of finite sets. Combinatorica, 24, 209–232 (2004)
C. A. Di Prisco, J. G. Mijares, and J. Nieto, Local Ramsey theory: An abstract approach, MLQ Math. Log. Q., to appear.
Di Prisco C. A., Todorcevic S.: Souslin partitions of products of finite sets. Adv. Math., 176, 145–173 (2003)
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)
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)
Ilijas Farah, Semiselective coideals, Mathematika, 45 (1998), 79–103.
Galvin F., Prikry K.: Borel sets and Ramsey’s theorem. J. Symbolic Logic, 38, 193–198 (1973)
Laflamme Claude: Forcing with filters and complete combinatorics. Ann. Pure Appl. Logic, 42, 125–163 (1989)
Laver R.: Products of infinitely many perfect trees. J. London Math. Soc. (2), 29, 385–396 (1984)
Alain Louveau, Une démonstration topologique de théorèmes de Silver et Mathias, Bull. Sci. Math. (2), 98, (1974), 97–102.
Alain Louveau, Une méthode topologique pour l’étude de la propriété de Ramsey, Israel J. Math., 23 (1976), 97–116.
A. R. D. Mathias, On a generalisation of Ramsey’s theorem, Notices Amer. Math. Soc., 15 (1968), 931.
Mathias A. R. D.: Happy families. Ann. Math. Logic, 12, 59–111 (1977)
Mijares J.G.: A notion of selective ultrafilter corresponding to topological Ramsey spaces. MLQ Math. Log. Q., 53, 255–267 (2007)
C. St. J. A. Nash–Williams, On well-quasi-ordering transfinite sequences, Proc. Cambridge Philos. Soc., 61 (1965), 33–39.
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.
S. Todorcevic, Introduction to Ramsey Spaces, volume 174 of Annals of Mathematics Studies, Princeton University Press (Princeton, NJ, 2010).
Trujillo T.: Selective but not Ramsey. Topology Appl., 202, 61–69 (2016)
Zheng Y. Y.: Selective ultrafilters on FIN. Proc. Amer. Math. Soc., 145, 5071–5086 (2017)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-017-0780-9
Key words and phrases
- Ramsey space
- Sacks forcing
- selective ultrafilter
- Ramsey ultrafilter
- parametrized Ramsey theory
- local Ramsey thoery