Literature cited
G. Birkhoff, Lattice Theory, American Mathematical Society, New York (1940).
Yu. L. Ershov, Theory of Enumerations, 1, Novosibirsk (1969).
Yu. L. Ershov, "Constructive models," in: Selected Topics in Algebra and Logic, Novosibirsk (1973), pp. 111–130.
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka (1965).
A. I. Mal'tsev, "Constructive algebras," UMN,16, No. 3, 3–60 (1961).
A. I. Mal'tsev, "Recursive Abelian groups," Dokl. Akad. Nauk SSSR,146, No. 5, 1009–1012 (1962).
M. G. Peretyat'kin, "Strongly constructive models and enumerations of a Boolean algebra of recursive sets," Algebra i Logika,10, No. 5, 535–537 (1971).
L. A. Harrington, "Structures with recursive presentation," Notices Amer. Math. Soc.,18, No. 5, 826 (1971).
R. L. Vaught, "Models of complete theories," Bull. Amer. Math. Soc.,69, No. 3 (1963).
R. L. Vaught, "Denumerable models of complete theories, infinitistic methods," Proc. Symp. Foundations of Mathematics, Warsaw (1961), pp. 303–321.
S. S. Goncharov, "Constructive superatomic Boolean algebras," Algebra i Logika,12, No. 1, 31–40 (1973).
Additional information
Translated from Algebra i Logika, Vol. 12, No. 2, pp. 125–142, March–April, 1973.
Rights and permissions
About this article
Cite this article
Goncharov, S.S., Nurtazin, A.T. Constructive models of complete solvable theories. Algebr Logic 12, 67–77 (1973). https://doi.org/10.1007/BF02219289
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02219289