Near coherence of filters. II. Applications to operator ideals, the Stone-Čech remainder of a half-line, order ideals of sequences, and slenderness of groups

Blass, Andreas

doi:10.1090/S0002-9947-1987-0876466-8

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Browser Compatibility Info Help
ISSN 1088-6850(online) ISSN 0002-9947(print)

Near coherence of filters. II. Applications to operator ideals, the Stone-Čech remainder of a half-line, order ideals of sequences, and slenderness of groups

Author: Andreas Blass
Journal: Trans. Amer. Math. Soc. 300 (1987), 557-581
MSC: Primary 03E05; Secondary 03C20, 03E35, 20K20, 47D25
MathSciNet review: 876466
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The set-theoretic principle of near coherence of filters (NCF) is known to be neither provable nor refutable from the usual axioms of set theory. We show that NCF is equivalent to the following statements, among others: (1) The ideal of compact operators on Hilbert space is not the sum of two smaller ideals. (2) The Stone-Čech remainder of a half-line has only one composant. (This was first proved by J. Mioduszewski.) (3) The partial ordering of slenderness classes of abelian groups, minus its top element, is directed upward (and in fact has a top element). Thus, all these statements are also consistent and independent.

[1] J. L. Bell and A. B. Slomson, Models and ultraproducts: An introduction, North-Holland Publishing Co., Amsterdam-London, 1969. MR 0269486 (42 #4381)
[2] David P. Bellamy, A non-metric indecomposable continuum, Duke Math. J. 38 (1971), 15–20. MR 0271911 (42 #6792)
[3] David P. Bellamy, Indecomposable continua with one and two composants, Fund. Math. 101 (1978), no. 2, 129–134. MR 518347 (80e:54043)
[4] Andreas Blass, The intersection of nonstandard models of arithmetic, J. Symbolic Logic 37 (1972), 103–106. MR 0323560 (48 #1916)
[5] Andreas Blass and Gary Weiss, A characterization and sum decomposition for operator ideals, Trans. Amer. Math. Soc. 246 (1978), 407–417. MR 515547 (80a:47071), http://dx.doi.org/10.1090/S0002-9947-1978-0515547-X
[6] Andreas Blass, Near coherence of filters. I. Cofinal equivalence of models of arithmetic, Notre Dame J. Formal Logic 27 (1986), no. 4, 579–591. MR 867002 (88d:03094a), http://dx.doi.org/10.1305/ndjfl/1093636772
[7] Andreas Blass and Saharon Shelah, There may be simple 𝑃_{ℵ₁}- and 𝑃_{ℵ₂}-points and the Rudin-Keisler ordering may be downward directed, Ann. Pure Appl. Logic 33 (1987), no. 3, 213–243. MR 879489 (88e:03073), http://dx.doi.org/10.1016/0168-0072(87)90082-0
[8] Andreas Blass, A model-theoretic view of some special ultrafilters, Logic Colloquium ’77 (Proc. Conf., Wrocław, 1977) Stud. Logic Foundations Math., vol. 96, North-Holland, Amsterdam-New York, 1978, pp. 79–90. MR 519803 (80d:03046)
[9] Arlen Brown, Carl Pearcy, and Norberto Salinas, Ideals of compact operators on Hilbert space, Michigan Math. J. 18 (1971), 373–384. MR 0291819 (45 #909)
[10] W. W. Comfort and S. Negrepontis, The theory of ultrafilters, Springer-Verlag, New York-Heidelberg, 1974. Die Grundlehren der mathematischen Wissenschaften, Band 211. MR 0396267 (53 #135)
[11] Leonard Gillman and Meyer Jerison, Rings of continuous functions, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0116199 (22 #6994)
[12] Rüdiger Göbel and Burkhard Wald, Wachstumstypen und schlanke Gruppen, Symposia Mathematica, Vol. XXIII (Conf. Abelian Groups and their Relationship to the Theory of Modules, INDAM, Rome, 1977) Academic Press, London-New York, 1979, pp. 201–239 (German). MR 565607 (82b:20073)
[13] Rüdiger Göbel and Burkhard Wald, Martin’s axiom implies the existence of certain slender groups, Math. Z. 172 (1980), no. 2, 107–121. MR 580853 (82c:20096), http://dx.doi.org/10.1007/BF01182396
[14] Alexander S. Kechris, On a notion of smallness for subsets of the Baire space, Trans. Amer. Math. Soc. 229 (1977), 191–207. MR 0450070 (56 #8369), http://dx.doi.org/10.1090/S0002-9947-1977-0450070-1
[15] Jerzy Mioduszewski, On composants of 𝛽𝑅-𝑅, Proceedings of the Conference on Topology and Measure, I (Zinnowitz, 1974), Part 2, Ernst-Moritz-Arndt Univ., Greifswald, 1978, pp. 257–283. MR 540576 (80g:54031)
[16] J. Mioduszewski, An approach to 𝛽𝑅-𝑅, Topology, Vol. II (Proc. Fourth Colloq., Budapest, 1978) Colloq. Math. Soc. János Bolyai, vol. 23, North-Holland, Amsterdam-New York, 1980, pp. 853–854. MR 588830 (82g:54040)
[17] Christian Puritz, Ultrafilters and standard functions in non-standard arithmetic, Proc. London Math. Soc. (3) 22 (1971), 705–733. MR 0289283 (44 #6474)
[18] Contributions to non-standard analysis, North-Holland Publishing Co., Amsterdam-London, 1972. A collection of papers based on lectures given at the Symposium on Non-standard Analysis, Oberwolfach, July 19–July 25, 1970; Edited by W. A. J. Luxemburg and A. Robinson; Studies in Logic and the Foundations of Mathematics, Vol. 69. MR 0476972 (57 #16517)
[19] Mary Ellen Rudin, Composants and 𝛽𝑁, Proc. Washington State Univ. Conf. on General Topology (Pullman, Wash., 1970), Pi Mu Epsilon, Dept. of Math., Washington State Univ., Pullman, Wash., 1970, pp. 117–119. MR 0266162 (42 #1070)
[20] Jean Saint-Raymond, Approximation des sous-ensembles analytiques par l’intérieur, C. R. Acad. Sci. Paris Sér. A-B 281 (1975), no. 2-3, Aii, A85–A87 (French, with English summary). MR 0377840 (51 #14009)
[21] Robert Schatten, Norm ideals of completely continuous operators, Ergebnisse der Mathematik und ihrer Grenzgebiete. N. F., Heft 27, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1960. MR 0119112 (22 #9878)
[22] R. C. Solomon, Families of sets and functions, Czechoslovak Math. J. 27(102) (1977), no. 4, 556–559. MR 0457218 (56 #15429)
[23] Ernst Specker, Additive Gruppen von Folgen ganzer Zahlen, Portugaliae Math. 9 (1950), 131–140 (German). MR 0039719 (12,587b)