Abstract
It is proved that ifT is an unstable (first-order) theory,λ>|T|+ℵ0, thenT has exactly 2λ non-isomorphic models of cardinalityλ. In fact we have stronger results: this is true for pseudo-elementary classes, and for almost everyλ≧|T|+ℵ1.
Similar content being viewed by others
References
A. Ehrenfeucht,On theories categorical in power, Fund. Math.44 (1957), 241–248.
A. Ehrenfeucht and A. Mostowski,Models of axiomatic theories admitting automorphisms, Fund. Math.43 (1956), 50–68.
H. J. Keisler,Some application of the theory of models to set theory, Proc. 1960 Intr. Congress, ed. E. Nagel, S. Supper and A. Tarski, Stanford University Press, Stanford, California, 1962, pp. 80–87.
H. J. Keisler,Logic with the quantifier “there exist uncountably many”, Ann. Math. Logic,1 (1970), 1–94.
M. Morley,Categoricity in power, Trans. Amer. Math. Soc.114 (1965), 514–538.
M. Morley,Partitions and models, Lecture Notes in Math.,70,Proc. Summer School in Logic, Springer-Verlag, Berlin, Heidelberg, New York, 1968, pp. 110–158.
M. Morley,The number of countable models, J. Symbolic Logic36 (1970), 14–17.
S. Shelah,Stable theories, Israel J. Math.7 (1969), 187–202.
S. Shelah,Stability, the f.c.p. and superstability; Model theoretic properties of formulas in first-order theories, to appear in Ann. Math Logic.
S. Shelah,On the number of non-isomorphic models of a theory in a cardinality, Notices Amer. Math. Soc.17 (1970), 576.
Author information
Authors and Affiliations
Additional information
The preparation of this paper was sponsored in part by NSF Grant GP-22937. This work was supported in part by NSF Grant GP-22794.
Rights and permissions
About this article
Cite this article
Shelah, S. The number of non-isomorphic models of an unstable first-order theory. Israel J. Math. 9, 473–487 (1971). https://doi.org/10.1007/BF02771463
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02771463