Abstract
A syntactic characterization is furnished for the class of elementary complete theories with finitely many countable models, which is the analog of a known theorem by Ryll-Nardzewski on countably categorical theories, and is based on classifying the theories by Rudin-Keisler quasiorders and distribution functions of a number of models limit over types.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
REFERENCES
B. Hart, E. Hrushovski, and M. S. Laskowski, "The uncountable spectra of countable theories," Ann.Math. (2), 152, No. 1, 207–257 (2000).
Handbook of Mathematical Logic, Vol. 1, J. Barwise (ed.), North-Holland, Amsterdam (1977).
M. Benda, "Remarks on countable models," Fund. Math., 81, No. 2, 107–119 (1974).
A. Pillay, "Countable models of stable theories," Proc. Am. Math. Soc., 89, No. 4, 666–672 (1983).
D. Lascar, "Ranks and definability in superstable theories," Israel J. Math., 23, No. 1, 53–87 (1976).
S. V. Sudoplatov, "Inessential combinations and colorings of models," Sib. Mat. Zh., 44, No. 5, 1132–1141 (2003).
S. V. Sudoplatov, "Powerful types in small theories," Sib. Mat. Zh., 31, No. 4, 118–128 (1990).
S. V. Sudoplatov, "Type reduction and powerful types," Sib. Mat. Zh., 33, No. 1, 150–159 (1992).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sudoplatov, S.V. Complete Theories with Finitely Many Countable Models. I. Algebra and Logic 43, 62–69 (2004). https://doi.org/10.1023/B:ALLO.0000015131.41218.f4
Issue Date:
DOI: https://doi.org/10.1023/B:ALLO.0000015131.41218.f4