This is a preview of subscription content, log in via an institution to check access.
Literature Cited
S. S. Goncharov and A. T. Nurtazin “Constructive models of complete decidable theories,” Algebra Logika,12, No. 2, 125–142 (1973).
S. S. Goncharov, “Constructivizability of prime models” in: Third All-Union Conference on Mathematical Logic [in Russian], Izd. Inst. Mat. Sib. Otd. Akad. Nauk SSSR, Novosibirsk (1974), pp. 46–47.
Yu. L. Ershov, Theory of Numerations. Part 3: Constructive Models [in Russian], Novosibirsk Univ. (1974).
R. L. Vaught, “Denumerable models of complete theories,” in: Infinitistic Methods (Proc. Sympos. Foundations of Mathematics, Warsaw, 1959), Pergamon, Oxford (1961), pp. 303–321.
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
S. S. Goncharov, “Certain properties of the constructivization of Boolean algebras,” Sib. Mat. Zh.,16, No. 2, 264–278 (1975).
S. S. Goncharov, “Constructivizability of superatomic Boolean algebras,” Algebra Logika,12, No. 1, 31–40 (1973).
Additional information
Institute of Mathematics, Siberian Branch, Academy of Sciences of the USSR, Novosibirsk. Translated from Sibirskii Matematicheskii, Zhurnal, Vol. 21, No. 1, pp. 44–51, January–February 1980.
Rights and permissions
About this article
Cite this article
Goncharov, S.S. Totally transcendental theory with a nonconstructivizable prime model. Sib Math J 21, 32–37 (1980). https://doi.org/10.1007/BF00970117
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00970117