Refinement properties and extensions of filters in Boolean algebras
HTML articles powered by AMS MathViewer
- by Bohuslav Balcar, Petr Simon and Peter Vojtáš PDF
- Trans. Amer. Math. Soc. 267 (1981), 265-283 Request permission
Abstract:
We consider the question, under what conditions a given family $A$ in a Boolean algebra $\mathcal {B}$ has a disjoint refinement. Of course, $A$ cannot have a disjoint refinement if $A$ is a dense subset of an atomless $\mathcal {B}$, or if $\mathcal {B}$ is complete and $A$ generates an ultrafilter on $\mathcal {B}$. We show in the first two sections that these two counterexamples can be the only possible ones. The third section is concerned with the question, how many sets must necessarily be added to a given filter in order to obtain an ultrafilter base.References
- James E. Baumgartner, Almost-disjoint sets, the dense set problem and the partition calculus, Ann. Math. Logic 9 (1976), no. 4, 401–439. MR 401472, DOI 10.1016/0003-4843(76)90018-8
- J. E. Baumgartner, A. Ha̧jņal, and A. Mate, Weak saturation properties of ideals, Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol. I, Colloq. Math. Soc. János Bolyai, Vol. 10, North-Holland, Amsterdam, 1975, pp. 137–158. MR 0369081 B. Balcar and F. Franěk, Independent families on complete Boolean algebras (to appear).
- Bohuslav Balcar, Ryszard Frankiewicz, and Charles Mills, More on nowhere dense closed $P$-sets, Bull. Acad. Polon. Sci. Sér. Sci. Math. 28 (1980), no. 5-6, 295–299 (1981) (English, with Russian summary). MR 620204
- Bohuslav Balcar, Jan Pelant, and Petr Simon, The space of ultrafilters on $\textbf {N}$ covered by nowhere dense sets, Fund. Math. 110 (1980), no. 1, 11–24. MR 600576, DOI 10.4064/fm-110-1-11-24
- Bohuslav Balcar and Peter Vojtás, Refining systems on Boolean algebras, Set theory and hierarchy theory, V (Proc. Third Conf., Bierutowice, 1976) Lecture Notes in Math., Vol. 619, Springer, Berlin, 1977, pp. 45–58. MR 0498304
- Bohuslav Balcar and Peter Vojtáš, Almost disjoint refinement of families of subsets of $\textbf {N}$, Proc. Amer. Math. Soc. 79 (1980), no. 3, 465–470. MR 567994, DOI 10.1090/S0002-9939-1980-0567994-2
- Miroslav Benda and Jussi Ketonen, Regularity of ultrafilters, Israel J. Math. 17 (1974), 231–240. MR 396264, DOI 10.1007/BF02756872
- W. W. Comfort, Compactifications: recent results from several countries, Topology Proc. 2 (1977), no. 1, 61–87 (1978). MR 540597
- W. W. Comfort and Neil Hindman, Refining families for ultrafilters, Math. Z. 149 (1976), no. 2, 189–199. MR 429573, DOI 10.1007/BF01301576
- W. W. Comfort and S. Negrepontis, The theory of ultrafilters, Die Grundlehren der mathematischen Wissenschaften, Band 211, Springer-Verlag, New York-Heidelberg, 1974. MR 0396267
- C. C. Chang, Descendingly incomplete ultrafilters, Trans. Amer. Math. Soc. 126 (1967), 108–118. MR 214474, DOI 10.1090/S0002-9947-1967-0214474-8 E. K. van Douwen, Martin’s axiom and pathological points in $\beta X - X$ (unpublished manuscript). —, Cardinal functions on compact $F$-spaces and on weakly countably complete Boolean algebras (preprint).
- B. Efimov, Extremally disconnected bicompacta, Dokl. Akad. Nauk SSSR 172 (1967), 771–774 (Russian). MR 0212765
- P. Erdös and A. Tarski, On families of mutually exclusive sets, Ann. of Math. (2) 44 (1943), 315–329. MR 8249, DOI 10.2307/1968767
- Stephen H. Hechler, Generalizations of almost disjointness, $c$-sets, and the Baire number of $\beta N-N$, General Topology and Appl. 8 (1978), no. 1, 93–110. MR 472520
- Neil Hindman, On the existence of $c$-points in $\beta N\backslash N$, Proc. Amer. Math. Soc. 21 (1969), 277–280. MR 239565, DOI 10.1090/S0002-9939-1969-0239565-4
- M. Hušek, Topological spaces without $\kappa$-accessible diagonal, Comment. Math. Univ. Carolinae 18 (1977), no. 4, 777–788. MR 515009
- Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
- H. Jerome Keisler, Good ideals in fields of sets, Ann. of Math. (2) 79 (1964), 338–359. MR 166105, DOI 10.2307/1970549
- H. Jerome Keisler, Ultraproducts and saturated models, Nederl. Akad. Wetensch. Proc. Ser. A 67 = Indag. Math. 26 (1964), 178–186. MR 0168483
- Kenneth Kunen, Saturated ideals, J. Symbolic Logic 43 (1978), no. 1, 65–76. MR 495118, DOI 10.2307/2271949 —, Letter to the author, Sept. 14, 1978.
- Kenneth Kunen, Jan van Mill, and Charles F. Mills, On nowhere dense closed $P$-sets, Proc. Amer. Math. Soc. 78 (1980), no. 1, 119–123. MR 548097, DOI 10.1090/S0002-9939-1980-0548097-X
- Kenneth Kunen and Karel Prikry, On descendingly incomplete ultrafilters, J. Symbolic Logic 36 (1971), 650–652. MR 302441, DOI 10.2307/2272467 K. Kuratowski, Sur l’extension de deux théorèmes topologiques à la théorie des ensembles, Fund. Math. 34 (1947), 34-38.
- Richard Laver, Saturated ideals and nonregular ultrafilters, Patras Logic Symposion (Patras, 1980) Stud. Logic Found. Math., vol. 109, North-Holland, Amsterdam, 1982, pp. 297–305. MR 694265, DOI 10.1016/S0049-237X(08)71369-7
- Karel Prikry, Ultrafilters and almost disjoint sets, General Topology and Appl. 4 (1974), 269–282. MR 416926
- Karel Prikry, Ultrafilters and almost disjoint sets, General Topology and Appl. 4 (1974), 269–282. MR 416926 —, On refinements of ultrafilters (preprint). S. Shelah, Some consistency results in topology (manuscript).
- Wacław Sierpiński, Hypothèse du continu, Chelsea Publishing Co., New York, N. Y., 1956 (French). 2nd ed. MR 0090558
- Alan D. Taylor, Regularity properties of ideals and ultrafilters, Ann. Math. Logic 16 (1979), no. 1, 33–55. MR 530430, DOI 10.1016/0003-4843(79)90015-9 S. Ulam, Zur Masstheorie in der allgemeinen Mengenlehre, Fund. Math. 16 (1930), 140-150. R. Van Wesep, The non-stationary ideal on ${\omega _1}$ can be ${\omega _2}$-saturated (manuscript). P. Vopěnka and P. Hájek, The theory of semisets, North-Holland, Amsterdam, 1972. H. Woodin, An ${\aleph _1}$ dense ${\aleph _1}$ complete ideal on ${\aleph _1}$ (manuscript).
- R. Grant Woods, Characterizations of some $C^*$-embedded subspaces of $\beta \b N$, Pacific J. Math. 65 (1976), no. 2, 573–579. MR 425905
Additional Information
- © Copyright 1981 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 267 (1981), 265-283
- MSC: Primary 06E05; Secondary 03E05, 03E35
- DOI: https://doi.org/10.1090/S0002-9947-1981-0621987-0
- MathSciNet review: 621987