Abstract
The main goal of this paper is to complete the classification of those first-order theories such that\(I_{N_0 }^a (\lambda ,T) = 2^\lambda \). We introduce two notions, thedimensional order property anddeepness. Our main theorem asserts that for a superstable theory\(T,I_{N_{\text{0}} }^a (\lambda ,T) = 2^\lambda \) iffT has the dimensional order property or is deep. In a sense made precise in §4 this provides a syntactical characterization of theories with the maximum number of ℵɛ-saturated models in each power.
Similar content being viewed by others
References
S. Shelah,The number of non-isomorphic models of an unstable first-order theory, Isr. J. Math.9 (1971), 473–487.
S. Shelah,A combinatorial problem; stability and order for models and theories in infinitary languages, Pac. J. Math.41 (1972), 247–261.
S. Shelah,Categoricity of uncountable theories, Proc. Symp. in honor of Tarski’s seventieth birthday, Berkeley, 1971 (Henki, ed.), Proc. Symp. Pure Math.25 (1974), 187–204.
S. Shelah,Classification Theory and the Number of Non-isomorphic Models, North-Holland Publ. Co., 1978.
S. Shelah,Better quasi-orders for uncountable cardinals, Isr. J. Math.42 (1982), 177–226.
S. Shelah,Construction of many complicated uncountable structures and Boolean algebras, Isr. J. Math. (1983), to appear.
Author information
Authors and Affiliations
Additional information
The author would like to thank John Baldwin for patiently reading the handwritten manuscript and helping to improve the presentation, and to Baldwin and Makkai for many more remarks later.
This research was supported by the United States—Israel Binational Science Foundation.
Rights and permissions
About this article
Cite this article
Shelah, S. The spectrum problem I: ℵɛ-satuarted models, the main gap. Israel J. Math. 43, 324–356 (1982). https://doi.org/10.1007/BF02761237
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02761237