Abstract
Assume a complete countable first order theory is superstable with NDOP. We know that any ℵ ∈ -saturated model of the theory is ℵ ∈ -prime over a non-forking tree of “small” models and its isomorphism type can be characterized by its\(\mathbb{L}_{\infty ,k} \) (dimension qualifiers)-theory, or, if you prefer, appropriate cardinal invariants. We go one step further by providing cardinal invariants which are as finitary as seem reasonable.
Similar content being viewed by others
References
J. T. Baldwin, M. C. Laskowski and S. Shelah,Forcing isomorphism, Journal of Symbolic Logic58 (1993), 1291–1301; math.LO/9301208.
S. Buechler and S. Shelah,On the existence of regular types, Annals of Pure and Applied Logic45 (1989), 277–308.
S. Shelah, Existence of manyL ∞,λ-equivalent, nonisomorphic models of T of power λ, Proceedings of the Model Theory Conference, Trento, June 1986, Annals of Pure and Applied Logic34 (1987), 291–310.
S. Shelah, On the number of strongly ℵ ∈ -saturated models of power λ, Annals of Pure and Applied Logic36 (1987), 279–287; see also [Sh:225a].
S. Shelah,Classification theory and the number of nonisomorphic models, Volume 92 ofStudies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1990, xxxiv+705 pp.
Author information
Authors and Affiliations
Additional information
Partially supported by the United States-Israel Binational Science Foundation and the NSF. The author thanks Alice Leonhardt for the beautiful typing.
Rights and permissions
About this article
Cite this article
Shelah, S. Characterizing an ℵ ∈ -saturated model of superstable NDOP theories by its\(\mathbb{L}_{\infty ,\aleph _ \in ^ - } \)-theory. Isr. J. Math. 140, 61–111 (2004). https://doi.org/10.1007/BF02786627
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02786627