Literature Cited
S. S. Goncharov and A. T. Nurtazin, "Constructive models for complete decidable theories," Algebra Logika,12, No. 2, 125–142 (1973).
S. S. Goncharov, "A totally transcendental theory with a nonconstructivizable prime model," Sib. Mat. Zh.,21, No. 1, 44–51 (1980).
S. S. Goncharov, "Constructivizability of superatomic boolean algebras," Algebra Logika,12, No. 1, 31–40 (1973).
S. S. Goncharov, "Constructivizability of prime models," in: Third All-Union Conf. Math. Logic [in Russian], Novosibirsk (1974), pp. 46–47.
S. S. Goncharov and V. N. Drobotun, "A generalization of constructivization," in: Fourteenth All-Union Algebraic Conf. [in Russian], Vol. 2, Novosibirsk (1977), pp. 93–94.
S. S. Goncharov, "Strong constructivizability of homogeneous models," Algebra Logika,17, No. 4, 336–368 (1978).
Yu. L. Ershov, Theory of Numerations [in Russian], Vol. 3, Novosibirsk (1974).
C. C. Chang and H. J. Keisler, Model Theory, Elsevier North-Holland (1977).
M. G. Peretyat'kin, "A criterion for strong constructivizability of a homogeneous model," Algebra Logika,17, No. 4, 436–454 (1978).
G. W. Day, "Hyperatomic boolean algebras," Pac. J. Math.,23, 479–489 (1967).
L. Harrington, "Recursively presentable prime models," J. Symb. Logic,39, 305–309 (1974).
T. S. Millar, "Foundations of recursive model theory," Ann. Math. Logic,13, 45–72 (1978).
Additional information
Translated from Algebra i Logika, Vol. 19, No. 2, pp. 137–149, March–April, 1980.
Rights and permissions
About this article
Cite this article
Goncharov, S.S. A totally transcendental decidable theory without constructivizable homogeneous models. Algebra and Logic 19, 85–93 (1980). https://doi.org/10.1007/BF01669834
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01669834