Refinement properties and extensions of filters in Boolean algebras

Balcar, Bohuslav; Simon, Petr; Vojtáš, Peter

doi:10.1090/S0002-9947-1981-0621987-0

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

Independent families on complete Boolean algebras

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

Martin’s axiom and pathological points in

Cardinal functions on compact

spaces and on weakly countably complete Boolean algebras

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
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

Sur l’extension de deux théorèmes topologiques à la théorie des ensembles

34

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

Some consistency results in topology

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

Zur Masstheorie in der allgemeinen Mengenlehre

16

The non-stationary ideal on

can be

saturated

The theory of semisets

An

dense

complete ideal on

R. Grant Woods, Characterizations of some $C^*$-embedded subspaces of $\beta \b N$, Pacific J. Math. 65 (1976), no. 2, 573–579. MR 425905