Abstract
Countable models of ℵ1-categorical theories are classified. It is shown that such a theory has only a countable number of nonisomorphic countable models.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. Łos’,On the categoricity in power of elementary deductive theories, Colloq. Math.3 (1954), 5–62.
W. Marsh,On ω 1-categorical but not ω-categorical theories, Doctoral dissertation, Dartmouth College, June, 1966.
M. Morley,Categoricity in power, Trans. Amer. Math. Soc.114 (1965), 514–538.
M. Morley,A condition equivalent to ℵ 1-categoricity, Notices Amer. Math. Soc.11 (1964), 687.
M. Morley and R. L. Vaught,Homogeneous universal models, Math. Scand.11 (1962), 37–57.
C. Ryll-Nardzewski,On theories categorical in power ≦ ℵ 0, Bull. Acad. Polon. Sci. Cl. III7 (1959), 545–548.
R. L. Vaught,Denumerable models of complete theories, Proc. Sympos. Foundations of Mathematics, Infinitistic Methods, Warsaw, Pergamon Press, Krakow, 1961, pp. 303–321.
Author information
Authors and Affiliations
Additional information
The author was partially supported by NSF grants GP-1621 and GP-4257 during the period those results were obtained.
Rights and permissions
About this article
Cite this article
Morley, M. Countable models of ℵ1-categorical theories. Israel J. Math. 5, 65–72 (1967). https://doi.org/10.1007/BF02771623
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02771623