Abstract.
Suppose that λ=λ <λ ≥ℵ0, and we are considering a theory T. We give a criterion on T which is sufficient for the consistent existence of λ++ universal models of T of size λ+ for models of T of size ≤λ+, and is meaningful when 2λ +>λ++. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in mind possible applications in analysis, we further observe that for such λ, for any fixed μ>λ+ regular with μ=μλ+, it is consistent that 2λ=μ and there is no normed vector space over ℚ of size <μ which is universal for normed vector spaces over ℚ of dimension λ+ under the notion of embedding h which specifies (a,b) such that ||h(x)/||x∈(a,b) for all x.
Similar content being viewed by others
References
Banach, S.: Théorie des operations linéaires. Warsaw 1932
Chang, C. C., Keisler, H. J.: Model theory. North-Holland, 1st edition 1973, latest edition 1990
Džamonja, M.: On uniform Eberlein compacta and c-algebras. Topology Proceedings, 23, 143–150 (1998)
Džamonja, M.: More on universal uniform Eberlein compacta and c-algebras. Accepted (modulo revisions) by the Proceedings of the Am. Math. Soc.
Grossberg, R., Shelah, S.: On universal locally finite groups. Israel J. Math. 44, 289–302 (1983)
Henson, C. W.: Nonstandard hulls of Banach spaces. Israel J. Math. 25 (1-2), 108–144 (1976)
Iovino, J.: Indiscernible sequences in Banach space theory. Submitted to the J. Symbolic Logic.
Iovino, J.: Stable Banach spaces and Banach space structures, I: Fundamentals. In Models, algebras and proofs (Bogotá 1995), (X. Caicedo and C. Montenegro eds.), Lecture Notes in Pure and Applied Mathematics 203, Marcel Dekker, New York, 77–95 (1999)
Iovino, J.: Stable Banach spaces and Banach space structures, II: Forking and compact topologies. In Models, algebras and proofs. (Bogotá 1995), (X. Caicedo and C. Montenegro eds.), Marcel Dekker, New York, 97–117 (1999)
Kojman, M.: Representing embeddability as set inclusion. J. LMS (2nd series) 58 (185) part 2, 257–270 (1998)
Kojman, M., Shelah, S.: Nonexistence of universal orders in many cardinals. J. Symb. Logic 57, 875–891 (1998)
Krivine, J. L.: Sous espaces de dimension finie des espaces de Banach reticulés. Annal. Mathe. 104, 1–29 (1976)
Mekler, A. H.: Universal structures in power ℵ1. J. Symb.Logic 55 (2), 466–477 (1990)
Shelah, S.: A Banach space with few operators. Israel J. Math. 30 (1-2), 181–191 (1978)
Shelah, S.: Classification of nonelementary classes. II. Abstract elementary classes. In Classification theory. (Chicago, 1985) (J.T. Baldwin, ed.) Lecture Notes in Mathematics 1292, Springer, 419–497, (1987)
Shelah, S.: Simple unstable theories. Ann. Math. Logic 19, 177–204 (1980)
Shelah, S.: Independence results. J. Symb. Logic 45, 563–573 (1980)
Shelah, S.: On universal graphs without instances of CH. Ann. Pure and Applied Logic 26, 75–87 (1984)
Shelah, S.: Universal graphs without instances of GCH: revisited. Israel J. Math. 70 (1), 69–81 (1990)
Shelah, S.: Strong partition relations below the power set: consistency; was Sierpinski right II. In Sets, graphs and numbers, the proceedings of the 1/91 conference in Budapest in honour of A. Hajnal and V.T. Sós, (Budapest 1991) (G. Halá sz, L. Lová sz, D. Mikló s and T. Szö nyi eds.), Colloquia Mathematica Societatis Já nos Bolyai 60, North-Holland, Amsterdam, 637–668 (1992)
Shelah, S.: The universality spectrum: consistency for more classes. In Combinatorics, Paul Erdös is eighty, proceedings of the meeting in honour of P. Erdös, Kezthely, Hungary 7/ 1993, (D. Miklós, V. T. Sós and T. Szö nyi eds.), vol. 1, Bolyai Society Mathematical Studies, 403–420 (1993); an elaborated version available at Shelah’s archives http://www.math.rutgers.edu/shelarch
Shelah, S.: Toward classifying unstable theories. Annals of Pure and Applied Logic 80, 229–255 (1996)
Shelah, S.: Was Sierpinski right IV. Journal of Symbolic Logic 65 (3), 1031–1054 (2000)
Shelah, S.: Non existence of universals for classes like reduced torsion free abelian groups under non necessarily pure embeddings. In Advances in algebra and model theory. (Manfred Droste and Ruediger Goebel eds.), Algebra, Logic and Applications 9, 229–286 (1997)
Stern, J.: Some applications of model theory in Banach space theory. Ann. Math. Logic 9, 49–121 (1976)
Szlenk, W.: The non-existence of a separable reflexive Banach space universal for all separable reflexive Banach spaces. Studia Mathematica 30, 53–61 (1968)
Todorčević, S.: The functor σ2 X. Studia Mathematica 116 (1), 49–57 (1995)
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification: 03E35, 03C55
In the list of publications of S. Shelah, this is publication number 614. Both authors thank the United States-Israel Binational Science Foundation for a partial support and various readers of the manuscript for their helpful comments.
Rights and permissions
About this article
Cite this article
Džamonja, M., Shelah, S. On the existence of universal models. Arch. Math. Logic 43, 901–936 (2004). https://doi.org/10.1007/s00153-004-0235-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0235-1