Skip to main content
Log in

Forcing with quotients

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

Abstract

We study an extensive connection between quotient forcings of Borel subsets of Polish spaces modulo a σ-ideal and quotient forcings of subsets of countable sets modulo an ideal.

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.

Similar content being viewed by others

References

  1. Balcar B., Hernández Hernández F., Hrušák M.: Combinatorics of dense subsets of the rationals. Fundam. Math. 183, 59–80 (2004)

    Article  MATH  Google Scholar 

  2. Balcar B., Simon P.: Disjoint refinement. In: Monk, J.D.(eds) Handbook of Boolean Algebras., pp. 334–386. North Holland, New York (1989)

    Google Scholar 

  3. Brendle J., Yatabe S.: Forcing indestructibility of mad families. Ann. Pure Appl. Logic 132, 271–312 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  4. Cichoń J., Morayne M., Pawlikowski J., Solecki S.: Decomposing Baire functions. J. Symbol. Logic 56, 1273–1283 (1991)

    Article  MATH  Google Scholar 

  5. Farah, I.: Analytic quotients: theory of lifting for quotients over analytic ideals on the integers. Memoirs of American Mathematical Society, vol. 702. American Mathematical Society, Providence (2000)

  6. Farah, I.: Analytic Hausdorff gaps II: Density zero ideal (2004, Preprint)

  7. Farah I., Zapletal J.: Four and more. Ann. Pure Appl. Logic 140, 3–39 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  8. Hrušák, M., Hernández, F.: Cardinal invariants of analytic P-ideals (2006, preprint)

  9. Jech T.: Set Theory. Springer, New York (2003)

    MATH  Google Scholar 

  10. Just W., Krawczyk A.: On certain boolean algebras \({\mathcal{P}(\omega)}\) mod I. Trans. Am. Math. Soc. 285, 411–429 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  11. Kechris A.S.: Classical Descriptive Set Theory. Springer, New York (1995)

    MATH  Google Scholar 

  12. Kechris A.S., Louveau A., Woodin W.H.: The structure of σ-ideals of compact sets. Trans. Am. Math. Soc. 301, 263–288 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  13. Mazur K.: F σ-ideals and ω 1ω1* gaps in the Boolean algebra P(ω)/I. Fundam. Math. 138, 103–111 (1991)

    MATH  MathSciNet  Google Scholar 

  14. Miller A.W.: On relatively analytic and Borel subsets. J. Symbol. Logic 70, 346–352 (2005)

    Article  MATH  Google Scholar 

  15. Solecki S.: Analytic ideals. Bull. Symbol. Logic 2, 339–348 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  16. Solecki S.: Decomposing Borel sets and functions and the structure of Baire class 1 functions. J. Am. Math. Soc. 11, 521–550 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  17. Solecki S.: Analytic ideals and their applications. Ann. Pure Appl. Logic 99, 51–72 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  18. Steprāans, J.: Unpublished note

  19. Steprāans J.: A very discontinuous Borel function. J. Symbol. Logic 58, 1268–1283 (1993)

    Article  MathSciNet  Google Scholar 

  20. Zapletal, J.: Descriptive set theory and definable forcing. Memoirs of American Mathematical Society, vol. 793. American Mathematical Society, Providence (2004)

  21. Zapletal, J.: Forcing Idealized. Tracts in Mathematics, vol. 174. Cambridge University Press, Cambridge (2008)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jindřich Zapletal.

Additional information

The research of M. Hrušák partially supported by GA ČR grant 201-03-0933, PAPIIT grant IN106705 and CONACYT grant 46337-F. The research of J. Zapletal partially supported by GA ČR grant 201-03-0933 and NSF grant DMS 0300201. The results contained in the paper were obtained while the second author visited UNAM, Morelia, Mexico.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hrušák, M., Zapletal, J. Forcing with quotients. Arch. Math. Logic 47, 719–739 (2008). https://doi.org/10.1007/s00153-008-0104-4

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-008-0104-4

Mathematics Subject Classification (2000)

Navigation