Adequate ultrafilters of special Boolean algebras
HTML articles powered by AMS MathViewer
- by S. Negrepontis
- Trans. Amer. Math. Soc. 174 (1972), 345-367
- DOI: https://doi.org/10.1090/S0002-9947-1972-0313052-1
- PDF | Request permission
Abstract:
In his paper Good ideals in fields of sets Keisler proved, with the aid of the generalized continuum hypothesis, the existence of countably incomplete, ${\beta ^ + }$-good ultrafilters on the field of all subsets of a set of (infinite) cardinality $\beta$. Subsequently, Kunen has proved the existence of such ultrafilters, without any special set theoretic assumptions, by making use of the existence of certain families of large oscillation. In the present paper we succeed in carrying over the original arguments of Keisler to certain fields of sets associated with the homogeneous-universal (and more generally with the special) Boolean algebras. More specifically, we prove the existence of countably incomplete, a-good ultrafilters on certain powers of the a-homogeneous-universal Boolean algebras of cardinality a and on the a-completions of the a-homogeneous-universal Boolean algebras of cardinality a, where $a = a^{[unk]} > \omega$. We then develop a method that allows us to deal with the special Boolean algebras of cardinality $a = 2^{[unk]}$. Thus, we prove the existence of an ultrafilter p (which will be called adequate) on certain powers $\mathcal {S}_\alpha ^\delta$ of the special Boolean algebra ${\mathcal {S}_\alpha }$ of cardinality a, and the existence of a specializing chain $\{ {\mathcal {C}_\beta }:\beta < \alpha \}$ for ${\mathcal {S}_\alpha }$, such that $\mathcal {C}_\beta ^\delta \cap p$ is ${\beta ^ + }$-good and countably incomplete for $\beta < \alpha$. The corresponding result on the existence of adequate ultrafilters on certain completions of the special Boolean algebras is more technical. These results do not use any part of the generalized continuum hypothesis.References
- Heinz Bachmann, Transfinite Zahlen, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 1, Springer-Verlag, Berlin-New York, 1967 (German). Zweite, neubearbeitete Auflage. MR 0219424
- J. L. Bell and A. B. Slomson, Models and ultraproducts: An introduction, North-Holland Publishing Co., Amsterdam-London, 1969. MR 0269486
- Chen-chung Chang and H. Jerome Keisler, Continuous model theory, Annals of Mathematics Studies, No. 58, Princeton University Press, Princeton, N.J., 1966. MR 0231708
- P. Erdös, L. Gillman, and M. Henriksen, An isomorphism theorem for real-closed fields, Ann. of Math. (2) 61 (1955), 542–554. MR 69161, DOI 10.2307/1969812
- Samuel Eilenberg and Norman Steenrod, Foundations of algebraic topology, Princeton University Press, Princeton, N.J., 1952. MR 0050886
- Fred Galvin, Reduced products, Horn sentences, and decision problems, Bull. Amer. Math. Soc. 73 (1967), 59–64. MR 209135, DOI 10.1090/S0002-9904-1967-11640-9 F. Hausdorff, Der Potenzbegriff in der Mengenlehre, Jber. Deutsch. Math. Verein. 13 (1904), 569-571.
- F. Hausdorff, Grundzüge einer Theorie der geordneten Mengen, Math. Ann. 65 (1908), no. 4, 435–505 (German). MR 1511478, DOI 10.1007/BF01451165
- Bjarni Jónsson, Universal relational systems, Math. Scand. 4 (1956), 193–208. MR 96608, DOI 10.7146/math.scand.a-10468
- B. Jónsson, Homogeneous universal relational systems, Math. Scand. 8 (1960), 137–142. MR 125021, DOI 10.7146/math.scand.a-10601
- Bjarni Jónsson and Philip Olin, Almost direct products and saturation, Compositio Math. 20 (1968), 125–132 (1968). MR 227004 H.Jerome Keisler, A characterization of Horn classes, Notices Amer. Math. Soc. 6 (1959), 521. Abstract #559-139.
- H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477–495. MR 0140396
- H. Jerome Keisler, Limit ultrapowers, Trans. Amer. Math. Soc. 107 (1963), 382–408. MR 148547, DOI 10.1090/S0002-9947-1963-0148547-1
- 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
- H. Jerome Keisler, Reduced products and Horn classes, Trans. Amer. Math. Soc. 117 (1965), 307–328. MR 170812, DOI 10.1090/S0002-9947-1965-0170812-4
- H. Jerome Keisler, Limit ultraproducts, J. Symbolic Logic 30 (1965), 212–234. MR 191819, DOI 10.2307/2270135
- Simon Kochen, Ultraproducts in the theory of models, Ann. of Math. (2) 74 (1961), 221–261. MR 138548, DOI 10.2307/1970235 K. Kunen, Ultrafilters and independent sets (manuscript).
- Casimir Kuratowski, Sur l’extension de deux théorèmes topologiques à la théorie des ensembles, Fund. Math. 34 (1947), 34–38 (French). MR 20120, DOI 10.4064/fm-34-1-34-38
- Richard Mansfield, The theory of Boolean ultrapowers, Ann. Math. Logic 2 (1970/71), no. 3, 297–323. MR 300887, DOI 10.1016/0003-4843(71)90017-9 —, Horn classes and reduced direct products (manuscript).
- Michael Morley and Robert Vaught, Homogeneous universal models, Math. Scand. 11 (1962), 37–57. MR 150032, DOI 10.7146/math.scand.a-10648
- S. Negrepontis, The Stone space of the saturated Boolean algebras, Trans. Amer. Math. Soc. 141 (1969), 515–527. MR 248057, DOI 10.1090/S0002-9947-1969-0248057-2
- S. Negrepontis, A property of the saturated Boolean algebras, Nederl. Akad. Wetensch. Proc. Ser. A 74 = Indag. Math. 33 (1971), 117–120. MR 0289379 —, Adequate ultrafilters of special Boolean algebras, Notices Amer. Math. Soc. 17 (1970), 832-833. Abstract #70T-E53.
- R. S. Pierce, A generalization of atomic Boolean algebras, Pacific J. Math. 9 (1959), 175–182. MR 106861
- Saharon Shelah, Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. Math. 10 (1971), 224–233. MR 297554, DOI 10.1007/BF02771574
- 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 Alfred Tarski, Quelques théorèmes sur les alephs, Fund. Math. 7 (1925), 1-14.
Bibliographic Information
- © Copyright 1972 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 174 (1972), 345-367
- MSC: Primary 02J05; Secondary 02H13
- DOI: https://doi.org/10.1090/S0002-9947-1972-0313052-1
- MathSciNet review: 0313052