Advertisement

Order

, Volume 32, Issue 1, pp 69–81 | Cite as

Base Tree Property

  • Bohuslav Balcar
  • Michal Doucha
  • Michael Hrušák
Article
  • 145 Downloads

Abstract

Building on previous work from Balcar et al., Fund. Math. 110, 11–24 (1980) we investigate σ-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every σ-closed partial order of size continuum has a base tree and that (2) σ-closed forcing notions of density 𝔠 correspond exactly to regular suborders of the collapsing algebra Coll(ω 1, 2 ω . We further study some naturally ocurring examples of such partial orders.

Keywords

Forcing Boolean algebras Base tree 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Balcar, B., Pelant, J., Simon, P.: The space of ultrafilters on ℕ covered by nowhere dense sets. Fund. Math. 110, 11–24 (1980)MATHMathSciNetGoogle Scholar
  2. 2.
    Balcar, B., Hernandéz-Hernandéz, F., Hrušák, M.: Combinatorics of dense subsets of rationals. Fund. Math. 183, 59–79 (2004)CrossRefMATHMathSciNetGoogle Scholar
  3. 3.
    Balcar, B., Hrušák, M.: Distributivity of the algebra of regular open subsets of βℝ \ ℝ∗. Topol. Appl. 149, 1–7 (2005)CrossRefMATHGoogle Scholar
  4. 4.
    Bartoszyński, T., Judah, H.: Set Theory: On the Structure of the Real Line, A. K. Peters, Wellesley (1995)Google Scholar
  5. 5.
    Bartoszyński, T., Scheepers, M.: Remarks on small sets related to trigonometric series. Topol. Appl. 64, 133–140 (1995)CrossRefMATHGoogle Scholar
  6. 6.
    Blass, A.: Combinatorial cardinal characteristics of the continuum. In: Handbook of Set Theory. Springer, Dordrecht (2010)Google Scholar
  7. 7.
    Brendle, J.: Van Douwen’s diagram for dense sets of rationals. Ann. Pure Appl. Logic 143(13), 54–69 (2006)CrossRefMATHMathSciNetGoogle Scholar
  8. 8.
    Dordal, P.: A model in which the base matrix tree has no cofinal branches. J. Symb. Logic 52(3), 651–664 (1987)CrossRefMATHMathSciNetGoogle Scholar
  9. 9.
    Dow, A.: The regular open algebra of βℝ \ ℝ is not equal to the completion of 𝒫(ω)/fin. Fund. Math. 157, 33–41 (1998)MATHMathSciNetGoogle Scholar
  10. 10.
    Dow, A.: Tree π-bases for βℕ−ℕ in various models. Topol. Appl. 33, 3–19 (1989)CrossRefMATHMathSciNetGoogle Scholar
  11. 11.
    Just, W., Krawczyk, A.: On certain Boolean algebras 𝒫(ω)/I. Trans. Amer. Math. Soc. 285(1), 411–429 (1984)MATHMathSciNetGoogle Scholar
  12. 12.
    König, B.: Dense subtrees in complete Boolean algebras. Math. Logic Quart. 52(3), 283–287 (2006)CrossRefMATHGoogle Scholar
  13. 13.
    Kunen, K.: Set Theory: An Introduction to Independence Proofs. North-Holland (1980)Google Scholar
  14. 14.
    Laflamme, C.: Forcing with filters and complete combinatorics. Ann. Pure Appl. Logic. 42(2), 125–163 (1989)CrossRefMATHMathSciNetGoogle Scholar
  15. 15.
    Malliaris, M., Shelah, S.: Cofinality spectrum theorems in model theory, set theory and general topology, preprint (2012). arXiv:1208.5424
  16. 16.
    Shelah, S., Spinas, O.: The distributivity numbers of finite products of P(omega)/fin. Fund. Math. 158, 81–93 (1998)MATHMathSciNetGoogle Scholar
  17. 17.
    Veličković, B.: Playful Boolean algebras. Trans. Amer. Math. Soc. 296(2), 727–740 (1986)CrossRefMATHMathSciNetGoogle Scholar
  18. 18.
    Vojtáš, P.: Boolean isomorphism between partial orderings of convergent and divergent series and infinite subsets of ℕ. Proc. Amer. Math. Soc 117, 235–242 (1993)MATHMathSciNetGoogle Scholar
  19. 19.
    Williams, S.W.: Trees, Gleason spaces, and Coabsolutes of βℕ−ℕ. Trans. Amer. Math. Soc. 271(1), 83–100 (1982)MATHMathSciNetGoogle Scholar
  20. 20.
    Zapletal, J.: On the existence of a σ-closed dense subset, Commentat. Math. Univ. Carol 51(3), 513–517 (2010)MATHMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  • Bohuslav Balcar
    • 1
  • Michal Doucha
    • 2
  • Michael Hrušák
    • 3
  1. 1.The Center for Theoretical StudyCharles University in PraguePragueCzech Republic
  2. 2.Institute of mathematicsAcademy of Sciences of the Czech republicPragueCzech Republic
  3. 3.Centro de Ciencias Matem’aticasUNAMMoreliaMéxico

Personalised recommendations