The Hanf number of the first order theory of Banach spaces

Shelah, Saharon; Stern, Jacques

doi:10.1090/S0002-9947-1978-0506613-3

The Hanf number of the first order theory of Banach spaces
HTML articles powered by AMS MathViewer

by Saharon Shelah and Jacques Stern PDF

Trans. Amer. Math. Soc. 244 (1978), 147-171 Request permission

Abstract:

In this paper, we discuss the possibility of developing a nice i.e. first order theory for Banach spaces: the restrictions on the set of sentences for recent compactness arguments applied to Banach spaces as well as for other model-theoretic results are both natural and necessary; without them we essentially get a second order logic with quantification over countable sets. Especially, the Hanf number for sets of sentences of the first order theory of Banach spaces is exactly the Hanf number for the second order logic of binary relations (with the second order quantifiers ranging over countable sets).

References

D. Dacunha-Castelle and J. L. Krivine, Applications des ultraproduits à l’étude des espaces et des algèbres de Banach, Studia Math. 41 (1972), 315–334 (French). MR 305035, DOI 10.4064/sm-41-3-315-334
Jean-Louis Krivine, Langages à valeurs réelles et applications, Fund. Math. 81 (1974), 213–253 (French). MR 349379, DOI 10.4064/fm-81-3-213-253
Jacques Stern, Some applications of model theory in Banach space theory, Ann. Math. Logic 9 (1976), no. 1-2, 49–121. MR 385523, DOI 10.1016/0003-4843(76)90006-1
Jacques Stern, Ultrapowers and local properties of Banach spaces, Trans. Amer. Math. Soc. 240 (1978), 231–252. MR 489594, DOI 10.1090/S0002-9947-1978-0489594-0
Jacques Stern, The problem of envelopes for Banach spaces, Israel J. Math. 24 (1976), no. 1, 1–15. MR 410339, DOI 10.1007/BF02761425

When two Banach spaces have isometrically isomorphic nonstandard hulls

M. A. Dickmann, Large infinitary languages, Studies in Logic and the Foundations of Mathematics, Vol. 83, North-Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. Model theory. MR 0539973
Jack H. Silver, Some applications of model theory in set theory, Ann. Math. Logic 3 (1971), no. 1, 45–110. MR 409188, DOI 10.1016/0003-4843(71)90010-6