Archive for Mathematical Logic

, Volume 55, Issue 3–4, pp 493–504 | Cite as

Mathias–Prikry and Laver type forcing; summable ideals, coideals, and +-selective filters

  • David Chodounský
  • Osvaldo Guzmán González
  • Michael Hrušák


We study the Mathias–Prikry and the Laver type forcings associated with filters and coideals. We isolate a crucial combinatorial property of Mathias reals, and prove that Mathias–Prikry forcings with summable ideals are all mutually bi-embeddable. We show that Mathias forcing associated with the complement of an analytic ideal always adds a dominating real. We also characterize filters for which the associated Mathias–Prikry forcing does not add eventually different reals, and show that they are countably generated provided they are Borel. We give a characterization of \({\omega}\)-hitting and \({\omega}\)-splitting families which retain their property in the extension by a Laver type forcing associated with a coideal.


Mathias–Prikry forcing Laver type forcing Mathias like real \({+}\)-Selective filter Dominating real Eventually different real \({\omega}\)-Hitting 

Mathematics Subject Classification

Primary 03E05 03E17 03E35 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brendle J., Hrušák M.: Countable Fréchet Boolean groups: an independence result. J. Symb. Logic 74(3), 1061–1068 (2009)CrossRefMATHGoogle Scholar
  2. 2.
    Bartoszyński, T., Judah, H.: Set theory: on the structure of the real line. A K Peters, Ltd., Wellesley (1995)Google Scholar
  3. 3.
    Brendle J., Raghavan D.: Bounding, splitting, and almost disjointness. Ann. Pure Appl. Logic 165(2), 631–651 (2014)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Canjar R. M.: Mathias forcing which does not add dominating reals. Proc. Am. Math. Soc. 104(4), 1239–1248 (1988)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Chodounský, D., Repovš, D., Zdomskyy, L.: Mathias forcing and combinatorial covering properties of filters. J. Symbolic Logic 80(4), 1398–1410 (2015). doi: 10.1017/jsl.2014.73
  6. 6.
    Dow A.: Two classes of Fréchet–Urysohn spaces. Proc. Amer. Math. Soc. 108(1), 241–247 (1990)MathSciNetMATHGoogle Scholar
  7. 7.
    Farah I.: Analytic quotients: theory of liftings for quotients over analytic ideals on the integers. Mem. Am. Math. Soc. 148(702), xvi–177 (2000)MathSciNetMATHGoogle Scholar
  8. 8.
    Farah I.: How many Boolean algebras \({\mathscr{P}( {\mathbb{N}})/\mathscr{I}}\) are there?. Illinois J. Math. 46(4), 999–1033 (2002)MathSciNetMATHGoogle Scholar
  9. 9.
    Farah, I., Solecki, S.: Two \({F_{\sigma\delta}}\) ideals. Proc. Am. Math. Soc. 131(6), 1971–1975 (electronic) (2003)Google Scholar
  10. 10.
    Guzmán, O., Hrušák, M., Martínez-Celis, A.: Canjar filters. Notre Dame J. Form. Log. (2014)Google Scholar
  11. 11.
    Groszek M. J.: Combinatorics on ideals and forcing with trees. J. Symb. Logic 52(3), 582–593 (1987)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Hrušák M., Minami H.: Mathias-Prikry and Laver-Prikry type forcing. Ann. Pure Appl. Logic 165(3), 880–894 (2014)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Hrušák M., Verner J. L.: Adding ultrafilters by definable quotients. Rend. Circ. Mat. Palermo (2) 60(3), 445–454 (2011)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Hrušák M., Zapletal J.: Forcing with quotients. Arch. Math. Logic 47(7-8), 719–739 (2008)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Just W., Krawczyk A.: On certain Boolean algebras \({\mathscr{P}(\omega )/I}\). Trans. Am. Math. Soc. 285(1), 411–429 (1984)MathSciNetMATHGoogle Scholar
  16. 16.
    Laflamme, C.: Filter games and combinatorial properties of strategies. In: Set theory (Boise, ID, 1992–1994). Contemporary mathematics, vol. 192, pp. 51–67. American Mathematical Society, Providence, RI (1996). doi: 10.1090/conm/192/02348
  17. 17.
    Mathias A.R.D.: Happy families. Ann. Math. Logic 12(1), 59–111 (1977)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Oliver M. R.: Continuum-many Boolean algebras of the form \({{\mathscr{P}}(\omega)/\mathscr{I} \mathscr{I}}\) Borel. J. Symb. Logic 69(3), 799–816 (2004)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Pawlikowski J.: Undetermined sets of point-open games. Fund. Math. 144(3), 279–285 (1994)MathSciNetMATHGoogle Scholar
  20. 20.
    Shelah S.: Properness without elementaricity. J. Appl. Anal. 10(2), 169–289 (2004)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Steprāns, J.: Many quotient algebras of the integers modulo co-analytic ideals. Logic Its Appl. Contemp. Math., vol. 380, Am. Math. Soc., Providence, pp. 271–281 (2005)Google Scholar
  22. 22.
    Vopěnka, P., Hájek, P.: The theory of semisets. Academia (Publishing House of the Czechoslovak Academy of Sciences), Prague, p. 332 (1972)Google Scholar
  23. 23.
    Zapletal J.: Forcing Idealized, Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2008)CrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • David Chodounský
    • 1
  • Osvaldo Guzmán González
    • 2
  • Michael Hrušák
    • 3
  1. 1.Institute of Mathematics, Czech Academy of SciencesŽitná 25Praha 1Czech Republic
  2. 2.Instituto de MatemáticasUniversidad Nacional Autónoma de MéxicoMoreliaMéxico
  3. 3.Instituto de MatemáticasUniversidad Nacional Autónoma de México, Área de la Investigación Científica, Circuito Exterior, Ciudad UniversitariaMéxicoMéxico

Personalised recommendations