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

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
HTML articles powered by AMS MathViewer

by Andreas Blass PDF

Trans. Amer. Math. Soc. 300 (1987), 557-581 Request permission

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.

References

J. L. Bell and A. B. Slomson, Models and ultraproducts: An introduction, North-Holland Publishing Co., Amsterdam-London, 1969. MR 0269486
David P. Bellamy, A non-metric indecomposable continuum, Duke Math. J. 38 (1971), 15–20. MR 271911
David P. Bellamy, Indecomposable continua with one and two composants, Fund. Math. 101 (1978), no. 2, 129–134. MR 518347, DOI 10.4064/fm-101-2-129-134
Andreas Blass, The intersection of nonstandard models of arithmetic, J. Symbolic Logic 37 (1972), 103–106. MR 323560, DOI 10.2307/2272552
Andreas Blass and Gary Weiss, A characterization and sum decomposition for operator ideals, Trans. Amer. Math. Soc. 246 (1978), 407–417. MR 515547, DOI 10.1090/S0002-9947-1978-0515547-X
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, DOI 10.1305/ndjfl/1093636772
Andreas Blass and Saharon Shelah, There may be simple $P_{\aleph _1}$- and $P_{\aleph _2}$-points and the Rudin-Keisler ordering may be downward directed, Ann. Pure Appl. Logic 33 (1987), no. 3, 213–243. MR 879489, DOI 10.1016/0168-0072(87)90082-0
Andreas Blass, A model-theoretic view of some special ultrafilters, Logic Colloquium ’77 (Proc. Conf., Wrocław, 1977) Studies in Logic and the Foundations of Mathematics, vol. 96, North-Holland, Amsterdam-New York, 1978, pp. 79–90. MR 519803
Arlen Brown, Carl Pearcy, and Norberto Salinas, Ideals of compact operators on Hilbert space, Michigan Math. J. 18 (1971), 373–384. MR 291819
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
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
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
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, DOI 10.1007/BF01182396
Alexander S. Kechris, On a notion of smallness for subsets of the Baire space, Trans. Amer. Math. Soc. 229 (1977), 191–207. MR 450070, DOI 10.1090/S0002-9947-1977-0450070-1
Jerzy Mioduszewski, On composants of $\beta R-R$, Proceedings of the Conference Topology and Measure, I (Zinnowitz, 1974) Ernst-Moritz-Arndt Univ., Greifswald, 1978, pp. 257–283. MR 540576
J. Mioduszewski, An approach to $\beta R-R$, 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
Christian Puritz, Ultrafilters and standard functions in non-standard arithmetic, Proc. London Math. Soc. (3) 22 (1971), 705–733. MR 289283, DOI 10.1112/plms/s3-22.4.705
Contributions to non-standard analysis, Studies in Logic and the Foundations of Mathematics, Vol. 69, 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. MR 0476972
Mary Ellen Rudin, Composants and $\beta N$, Proc. Washington State Univ. Conf. on General Topology (Pullman, Wash., 1970) Washington State University, Department of Mathematics, Pi Mu Epsilon, Pullman, Wash., 1970, pp. 117–119. MR 0266162
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 377840
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
R. C. Solomon, Families of sets and functions, Czechoslovak Math. J. 27(102) (1977), no. 4, 556–559. MR 457218
Ernst Specker, Additive Gruppen von Folgen ganzer Zahlen, Portugal. Math. 9 (1950), 131–140 (German). MR 39719