This is a preview of subscription content, log in via an institution to check access.
Literature Cited
S. S. Goncharov, "Constructivizability of superatomic Boolean algebras," Algebra Logika,12, No. 1, 31–40 (1973).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
M. G. Peretyat'kin, "On complete theories with a finite number of countable models," Algebra Logika,12, No. 5, 550–576 (1973).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
C. C. Chang and H. J. Keisler, Model Theory, Elsevier North-Holland, Amsterdam—New York (1977).
M. Benda, "Remarks on countable models," Fund. Math.,81, No. 2, 107–119 (1974).
R. L. Vaught, "Denumerable models of complete theories," Infinistic Methods (Proc. Symp. Found. Math., Warsaw, 1959), Pergamon, Oxford (1961), pp. 303–321.
R. E. Woodrow, "Theories with a finite number of countable models," J. Symb. Logic,43, No. 3, 442–455 (1978).
Additional information
Translated from Algebra i Logika, Vol. 19, No. 2, pp. 224–235, March–April, 1980.
Rights and permissions
About this article
Cite this article
Peretyat'kin, M.G. Theories with three countable models. Algebra and Logic 19, 139–147 (1980). https://doi.org/10.1007/BF01669839
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01669839