Forcing minimal extensions of Boolean algebras
HTML articles powered by AMS MathViewer
- by Piotr Koszmider PDF
- Trans. Amer. Math. Soc. 351 (1999), 3073-3117 Request permission
Abstract:
We employ a forcing approach to extending Boolean algebras. A link between some forcings and some cardinal functions on Boolean algebras is found and exploited. We find the following applications: 1) We make Fedorchuk’s method more flexible, obtaining, for every cardinal $\lambda$ of uncountable cofinality, a consistent example of a Boolean algebra $A_{\lambda }$ whose every infinite homomorphic image is of cardinality $\lambda$ and has a countable dense subalgebra (i.e., its Stone space is a compact S-space whose every infinite closed subspace has weight $\lambda$). In particular this construction shows that it is consistent that the minimal character of a nonprincipal ultrafilter in a homomorphic image of an algebra $A$ can be strictly less than the minimal size of a homomorphic image of $A$, answering a question of J. D. Monk. 2) We prove that for every cardinal of uncountable cofinality it is consistent that $2^{\omega }=\lambda$ and both $A_{\lambda }$ and $A_{\omega _{1}}$ exist. 3) By combining these algebras we obtain many examples that answer questions of J.D. Monk. 4) We prove the consistency of MA + $\neg$CH + there is a countably tight compact space without a point of countable character, complementing results of A. Dow, V. Malykhin, and I. Juhasz. Although the algebra of clopen sets of the above space has no ultrafilter which is countably generated, it is a subalgebra of an algebra all of whose ultrafilters are countably generated. This proves, answering a question of Arhangel$’$skii, that it is consistent that there is a first countable compact space which has a continuous image without a point of countable character. 5) We prove that for any cardinal $\lambda$ of uncountable cofinality it is consistent that there is a countably tight Boolean algebra $A$ with a distinguished ultrafilter $\infty$ such that for every $a\not \ni \infty$ the algebra $A|a$ is countable and $\infty$ has hereditary character $\lambda$.References
- Bohuslav Balcar, Petr Simon, and Peter Vojtáš, Refinement properties and extensions of filters in Boolean algebras, Trans. Amer. Math. Soc. 267 (1981), no. 1, 265–283. MR 621987, DOI 10.1090/S0002-9947-1981-0621987-0
- Zoltán T. Balogh, On compact Hausdorff spaces of countable tightness, Proc. Amer. Math. Soc. 105 (1989), no. 3, 755–764. MR 930252, DOI 10.1090/S0002-9939-1989-0930252-6
- J. Baumgartner, J. Malitz, and W. Reinhardt, Embedding trees in the rationals, Proc. Nat. Acad. Sci. U.S.A. 67 (1970), 1748–1753. MR 314621, DOI 10.1073/pnas.67.4.1748
- James E. Baumgartner, Iterated forcing, Surveys in set theory, London Math. Soc. Lecture Note Ser., vol. 87, Cambridge Univ. Press, Cambridge, 1983, pp. 1–59. MR 823775, DOI 10.1017/CBO9780511758867.002
- James E. Baumgartner, Applications of the proper forcing axiom, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 913–959. MR 776640
- J. E. Baumgartner and P. Komjáth, Boolean algebras in which every chain and antichain is countable, Fund. Math. 111 (1981), no. 2, 125–133. MR 609428, DOI 10.4064/fm-111-2-125-133
- James E. Baumgartner, Donald A. Martin, and Saharon Shelah (eds.), Axiomatic set theory, Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, RI, 1984. MR 763887, DOI 10.1090/conm/031
- James E. Baumgartner and Saharon Shelah, Remarks on superatomic Boolean algebras, Ann. Pure Appl. Logic 33 (1987), no. 2, 109–129. MR 874021, DOI 10.1016/0168-0072(87)90077-7
- Keith J. Devlin, $\aleph _{1}$-trees, Ann. Math. Logic 13 (1978), no. 3, 267–330. MR 491861, DOI 10.1016/S0003-4843(78)80002-3
- Eric K. van Douwen, J. Donald Monk, and Matatyahu Rubin, Some questions about Boolean algebras, Algebra Universalis 11 (1980), no. 2, 220–243. MR 588216, DOI 10.1007/BF02483101
- E.vanDouwen; Cardinal Functions on Boolean Spaces; in [MB], pp. 417-467.
- Alan Dow, An introduction to applications of elementary submodels to topology, Topology Proc. 13 (1988), no. 1, 17–72. MR 1031969
- V. Fedorchuk; On the cardinality of hereditarily separable compact Hausdorff spaces; Soviet Math. Dokl. 16, 1975 pp. 651-655.
- V. V. Fedorčuk, A compact space having the cardinality of the continuum with no convergent sequences, Math. Proc. Cambridge Philos. Soc. 81 (1977), no. 2, 177–181. MR 425877, DOI 10.1017/S0305004100053238
- Serge Grigorieff, Combinatorics on ideals and forcing, Ann. Math. Logic 3 (1971), no. 4, 363–394. MR 297560, DOI 10.1016/0003-4843(71)90011-8
- R. Hodel, Cardinal functions. I, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 1–61. MR 776620
- I. Juhász, Cardinal functions in topology, Mathematical Centre Tracts, No. 34, Mathematisch Centrum, Amsterdam, 1971. In collaboration with A. Verbeek and N. S. Kroonenberg. MR 0340021
- István Juhász, Cardinal functions in topology—ten years later, 2nd ed., Mathematical Centre Tracts, vol. 123, Mathematisch Centrum, Amsterdam, 1980. MR 576927
- I. Juhász, Cardinal functions. II, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 63–109. MR 776621
- I. Juhász, On the minimum character of points in compact spaces, Topology. Theory and applications, II (Pécs, 1989) Colloq. Math. Soc. János Bolyai, vol. 55, North-Holland, Amsterdam, 1993, pp. 365–371. MR 1244377
- István Juhász, A weakening of $\clubsuit$, with applications to topology, Comment. Math. Univ. Carolin. 29 (1988), no. 4, 767–773. MR 982796
- I. Juhász and Z. Szentmiklóssy, Convergent free sequences in compact spaces, Proc. Amer. Math. Soc. 116 (1992), no. 4, 1153–1160. MR 1137223, DOI 10.1090/S0002-9939-1992-1137223-8
- H. G. Dales and W. H. Woodin, An introduction to independence for analysts, London Mathematical Society Lecture Note Series, vol. 115, Cambridge University Press, Cambridge, 1987. MR 942216, DOI 10.1017/CBO9780511662256
- Sabine Koppelberg, Minimally generated Boolean algebras, Order 5 (1989), no. 4, 393–406. MR 1010388, DOI 10.1007/BF00353658
- Sabine Koppelberg, Counterexamples in minimally generated Boolean algebras, Acta Univ. Carolin. Math. Phys. 29 (1988), no. 2, 27–36. MR 983448
- Sabine Koppelberg, Handbook of Boolean algebras. Vol. 1, North-Holland Publishing Co., Amsterdam, 1989. Edited by J. Donald Monk and Robert Bonnet. MR 991565
- Piotr Koszmider, The consistency of “$\neg \textrm {CH}+\textrm {pa}\leq \omega _1$”, Algebra Universalis 27 (1990), no. 1, 80–87. MR 1025837, DOI 10.1007/BF01190255
- Piotr Koszmider, On the complete invariance property in some uncountable products, Canad. Math. Bull. 35 (1992), no. 2, 221–229. MR 1165172, DOI 10.4153/CMB-1992-032-5
- Piotr Koszmider, Semimorasses and nonreflection at singular cardinals, Ann. Pure Appl. Logic 72 (1995), no. 1, 1–23. MR 1320107, DOI 10.1016/0168-0072(93)E0068-Y
- Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
- Kenneth Kunen and Jerry E. Vaughan (eds.), Handbook of set-theoretic topology, North-Holland Publishing Co., Amsterdam, 1984. MR 776619
- S. Minakshi Sundaram, On non-linear partial differential equations of the parabolic type, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 479–494. MR 0000088, DOI 10.1007/BF03046993
- J. Donald Monk and Robert Bonnet (eds.), Handbook of Boolean algebras. Vol. 3, North-Holland Publishing Co., Amsterdam, 1989. MR 991607
- J. Donald Monk, Cardinal functions on Boolean algebras, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 1990. MR 1077622, DOI 10.1007/978-3-0348-6381-0
- J.D. Monk; Cardinal Functions on Boolean Algebras a revised version of [M1], 17 September 1992, circulated notes.
- P. Nyikos; Forcing compact non-sequential spaces of countable tightness; Preprint.
- P. Nyikos; Dichotomies in Compact spaces and $T_{5}$-spaces; in New Classic problems; Topology Proceedings, vol 15, pp. 201-220.
- Mariusz Rabus, An $\omega _2$-minimal Boolean algebra, Trans. Amer. Math. Soc. 348 (1996), no. 8, 3235–3244. MR 1357881, DOI 10.1090/S0002-9947-96-01663-7
- J. Roitman; Superatomic Boolean Algebras; in [MB] pp. 719-740.
- Roman Sikorski, Boolean algebras, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete, (N.F.), Band 25, Academic Press, Inc., New York; Springer-Verlag, Berlin-New York, 1964. MR 0177920
- Miroslav Hušek and Jan van Mill (eds.), Recent progress in general topology, North-Holland Publishing Co., Amsterdam, 1992. Papers from the Symposium on Topology (Toposym) held in Prague, August 19–23, 1991. MR 1229121
- B.Shapirovskii; On $\pi$-character and $\pi$-weight of compact Hausdorff spaces; Soviet math. Dokl. 16, 1975, pp. 999-1003.
- Saharon Shelah, On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements, Notre Dame J. Formal Logic 22 (1981), no. 4, 301–308. MR 622361
- Saharon Shelah, Constructions of many complicated uncountable structures and Boolean algebras, Israel J. Math. 45 (1983), no. 2-3, 100–146. MR 719115, DOI 10.1007/BF02774012
- Saharon Shelah, Around classification theory of models, Lecture Notes in Mathematics, vol. 1182, Springer-Verlag, Berlin, 1986. MR 850051, DOI 10.1007/BFb0098503
- Z. Szentmiklóssy, $S$-spaces and $L$-spaces under Martin’s axiom, Topology, Vol. II (Proc. Fourth Colloq., Budapest, 1978) Colloq. Math. Soc. János Bolyai, vol. 23, North-Holland, Amsterdam-New York, 1980, pp. 1139–1145. MR 588860
- Dan Velleman, Souslin trees constructed from morasses, Axiomatic set theory (Boulder, Colo., 1983) Contemp. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1984, pp. 219–241. MR 763903, DOI 10.1090/conm/031/763903
- R. H. J. Germay, Généralisation de l’équation de Hesse, Ann. Soc. Sci. Bruxelles Sér. I 59 (1939), 139–144 (French). MR 86
- William S. Zwicker, $P_k\lambda$ combinatorics. I. Stationary coding sets rationalize the club filter, Axiomatic set theory (Boulder, Colo., 1983) Contemp. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1984, pp. 243–259. MR 763904, DOI 10.1090/conm/031/763904
Similar Articles
Additional Information
- Piotr Koszmider
- Affiliation: Departmento de Matemática, Universidade de São Paulo, Caixa Postal: 66281, São Paulo, SP, CEP: 05315-970, Brasil
- Email: piotr@ime.usp.br
- Received by editor(s): June 6, 1994
- Received by editor(s) in revised form: January 20, 1997
- Published electronically: April 8, 1999
- Additional Notes: Some results presented in this paper were obtained when the author was a Ph.D. student at the University of Toronto, under the supervision of Professors F.D. Tall and W. Weiss. Other results of this paper were obtained when the author was a National Science and Engineering Research Council of Canada postdoctoral fellow at York University, under the supervision of Professor J. Steprans.
- © Copyright 1999 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 351 (1999), 3073-3117
- MSC (1991): Primary 03E35, 03E50, 03E99, 06E15, 06E99, 54A25, 54A35, 54B35, 54G12, 54G99, 54H10
- DOI: https://doi.org/10.1090/S0002-9947-99-02145-5
- MathSciNet review: 1467471