Separable Banach space theory needs strong set existence axioms

Humphreys, A.; Simpson, Stephen

doi:10.1090/S0002-9947-96-01725-4

Separable Banach space theory needs strong set existence axioms
HTML articles powered by AMS MathViewer

by A. James Humphreys and Stephen G. Simpson PDF

Trans. Amer. Math. Soc. 348 (1996), 4231-4255 Request permission

Abstract:

We investigate the strength of set existence axioms needed for separable Banach space theory. We show that a very strong axiom, $\Pi ^1_1$ comprehension, is needed to prove such basic facts as the existence of the weak-$*$ closure of any norm-closed subspace of $\ell _1=c_0^*$. This is in contrast to earlier work in which theorems of separable Banach space theory were proved in very weak subsystems of second order arithmetic, subsystems which are conservative over Primitive Recursive Arithmetic for $\Pi ^0_2$ sentences. En route to our main results, we prove the Krein-Šmulian theorem in $\mathsf {ACA}_0$, and we give a new, elementary proof of a result of McGehee on weak-$*$ sequential closure ordinals.

References

S. Banach, Theory of linear operations, North-Holland Mathematical Library, vol. 38, North-Holland Publishing Co., Amsterdam, 1987. Translated from the French by F. Jellett; With comments by A. Pełczyński and Cz. Bessaga. MR 880204, DOI 10.1016/S0924-6509(08)70004-7
Stefan Banach, Théorie des opérations linéaires, Subwencji Funduszu Kultury Narodowej, 1932.
Andreas R. Blass, Jeffry L. Hirst, and Stephen G. Simpson, Logical analysis of some theorems of combinatorics and topological dynamics, Logic and combinatorics (Arcata, Calif., 1985) Contemp. Math., vol. 65, Amer. Math. Soc., Providence, RI, 1987, pp. 125–156. MR 891245, DOI 10.1090/conm/065/891245
Douglas Kenyon Brown, Functional analysis in weak subsystems of second order arithmetic, Ph.D. thesis, The Pennsylvania State University, 1987.
Douglas K. Brown, Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic, Logic and computation (Pittsburgh, PA, 1987) Contemp. Math., vol. 106, Amer. Math. Soc., Providence, RI, 1990, pp. 39–50. MR 1057814, DOI 10.1090/conm/106/1057814
Douglas K. Brown and Stephen G. Simpson, Which set existence axioms are needed to prove the separable Hahn-Banach theorem?, Ann. Pure Appl. Logic 31 (1986), no. 2-3, 123–144. Special issue: second Southeast Asian logic conference (Bangkok, 1984). MR 854289, DOI 10.1016/0168-0072(86)90066-7
Douglas K. Brown and Stephen G. Simpson, The Baire category theorem in weak subsystems of second-order arithmetic, J. Symbolic Logic 58 (1993), no. 2, 557–578. MR 1233924, DOI 10.2307/2275219
C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
Joseph W. Dauben, The trigonometric background to Georg Cantor’s theory of sets, Archive for History of Exact Sciences 7 (1971), 181–216.
Joseph Warren Dauben, Georg Cantor, Harvard University Press, Cambridge, Mass.-London, 1979. His mathematics and philosophy of the infinite. MR 525577
Nelson Dunford and Jacob T. Schwartz, Linear Operators. I. General Theory, Pure and Applied Mathematics, Vol. 7, Interscience Publishers, Inc., New York; Interscience Publishers Ltd., London, 1958. With the assistance of W. G. Bade and R. G. Bartle. MR 0117523
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith, Countable algebra and set existence axioms, Ann. Pure Appl. Logic 25 (1983), no. 2, 141–181. MR 725732, DOI 10.1016/0168-0072(83)90012-X
A. S. Kechris and A. Louveau, Descriptive set theory and harmonic analysis, J. Symbolic Logic 57 (1992), no. 2, 413–441. MR 1169179, DOI 10.2307/2275277
Alexander S. Kechris and Alain Louveau, Descriptive set theory and the structure of sets of uniqueness, London Mathematical Society Lecture Note Series, vol. 128, Cambridge University Press, Cambridge, 1987. MR 953784, DOI 10.1017/CBO9780511758850
Alberto Marcone, Foundations of bqo theory and subsystems of second order arithmetic, Ph.D. thesis, The Pennsylvania State University, 1993.
Alberto Marcone, Foundations of BQO theory, Trans. Amer. Math. Soc. 345 (1994), no. 2, 641–660. MR 1219735, DOI 10.1090/S0002-9947-1994-1219735-8
S. Mazurkiewicz, Sur la dérivée faible d’un ensemble de fonctionelles linéaires, Studia Mathematica 2 (1930), 68–71.
O. Carruth McGehee, A proof of a statement of Banach about the weak${}^{\ast }$ topology, Michigan Math. J. 15 (1968), 135–140. MR 231182
Donald Sarason, Weak-star generators of $H^{\infty }$, Pacific J. Math. 17 (1966), 519–528. MR 211269, DOI 10.2140/pjm.1966.17.519
Donald Sarason, On the order of a simply connected domain, Michigan Math. J. 15 (1968), 129–133. MR 227742
Donald Sarason, A remark on the weak-star topology of $l^{\infty }$, Studia Math. 30 (1968), 355–359. MR 234264, DOI 10.4064/sm-30-3-355-359
Nuel Belnap, Linear logic displayed, Notre Dame J. Formal Logic 31 (1990), no. 1, 14–25. MR 1043788, DOI 10.1305/ndjfl/1093635329
Stephen G. Simpson, Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer–Verlag, 1996, in preparation.
J. von Neumann, Zur Algebra der Funktionaloperationen und Theorie der normalen Operatoren, Mathematische Annalen 102 (1929), 370–427.