Abstract
We deal with two natural examples of almost-elementary classes: the class of all Banach spaces (over ℝ or ℂ) and the class of all groups. We show that both of these classes do not have the strict order property, and find the exact place of each one of them in Shelah’sSOP n (strong order property of ordern) hierarchy. Remembering the connection between this hierarchy and the existence of universal models, we conclude, for example, that there are “few” universal Banach spaces (under isometry) of regular density characters.
Similar content being viewed by others
References
S. Banach,Théorie de operations linéaries, Monografje Matematyczne, Warsaw, 1932.
I. Ben-Yaacov,Positive model theory and compact abstract theories, Journal of Mathematical Logic3 (2003), 85–118.
I. Ben-Yaacov,Simplicity in compact abstract theories, Journal of Mathematical Logic3 (2003), 163–191.
M. Džamonja,On universal Eberlein compacta and c-algebras, Topology Proceedings23 (1998), 143–150.
M. Džamonja and S. Shelah,On the existence of universals and an application to Banach spaces, Archive for Mathematical Logic43 (2004), 901–936.
J. R. Stallings,Non-positively curved triangles of groups, inGroup Theory from a Geometrical Point of View (E. Ghys, A. Haefliger and A. Verjovsky, eds.), World Scientific Publishing, Singapore, 1991, pp. 491–503.
R. Grossberg and S. Shelah,On Universal locally finite groups, Israel Journal of Mathematics44 (1983), 289–302.
E. Hrushovski,Simplicity and the Lascar group, preprint.
C. W. Henson and J. Iovino,Ultraproducts in Analysis, Part I of the three-part bookAnalysis and Logic (C. W. Henson, J. Iovino, A. S. Kechris and E. W. Odell, eds.), London Mathematical Society Lecture Note Series, Cambridge University Press, No. 262, 2003.
B. Kim and A. Pillay,Simple theories, Annals of Pure and Applied Logic88 (1997), 149–164.
M. Kojman and S. Shelah,Nonexistence of universal orders in many cardinals, Journal of Symbolic Logic57 (1992), 875–891.
J. J. Rotman,Introduction to the Theory of Groups, Graduate Texts in Mathematics, Vol. 148, 4th edition, Springer-Verlag, Berlin, 1995.
S. Shelah,The lazy model-theoritician’s guide to stability, Logique et Analyse18 (1975), 241–308.
S. Shelah,Simple unstable theories, Annals of Mathematical Logic19 (1980), 177–203.
S. Shelah,On universal graphs without instances of CH, Annals of Pure and Applied Logic26 (1984), 75–87.
S. Shelah,The Universality Spectrum: Consistency for more classes, inCombinatorics, Paul Erdős is Eighty, Vol. 1, Bolyai Society Mathematical Studies, 1993, Proceedings of the Meeting in honor of P. Erdős, Keszthely, Hungary, 7. 1993, pp. 403–420; an improved version available at http://www.math.rutgers.edu/~shelaharch.
S. Shelah,Towards classifying unstable theories, Annals of Pure and Applied Logic80 (1996), 229–255.
S. Shelah,Classification Theory and the Number of Nonisomorphic Models, 2nd ed., North-Holland Publishing Co., Amsterdam, 1990.
W. Szlenk,The non-existence of separable reflexive Banach space universal for all separable reflexive Banach spaces, Studia Mathematica30 (1968), 53–61.
Author information
Authors and Affiliations
Corresponding author
Additional information
This publication is numbered 789 in the list of publications of Saharon Shelah. The research was supported by The Israel Science Foundation.
Rights and permissions
About this article
Cite this article
Shelah, S., Usvyatsov, A. Banach spaces and groups — Order properties and universal models. Isr. J. Math. 152, 245–270 (2006). https://doi.org/10.1007/BF02771986
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02771986