Literature Cited
S. S. Goncharov and A. T. Nurtazin, "Constructive models of complete decidable theories," Algebra Logika,12, No. 2, 125–142 (1973).
Yu. L. Ershov, Theory of Enumerations [in Russian], Vol. 3, Novosibirsk (1974).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam (1973).
T. Millar, "The theory of recursively presented models," Dissertation, Cornell University (1976).
M. Morley, "Decidable models," Israel J. Math.,25, 233–240 (1976).
L. Harrington, "Recursively presentable prime models," J. Symb. Logic,39, 305–309 (1974).
M. G. Peretyat'kin, "A criterion for strong constructivizability of a homogeneous model," Algebra Logika,17, No. 4, 436–454 (1978).
Additional information
Translated from Algebra i Logika, Vol. 17, No. 4, pp. 363–388, July–August, 1978.
Rights and permissions
About this article
Cite this article
Goncharov, S.S. Strong constructivizability of homogeneous models. Algebra and Logic 17, 247–263 (1978). https://doi.org/10.1007/BF01674776
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01674776