References
Yu. L. Ershov, Problems of Solvability and Constructive Models [in Russian], Nauka, Moscow (1980).
H. Rodgers, Theory of Recursive Functions and Effective Computability [Russian translation], Mir, Moscow (1972).
V. P. Dobritsa, “Structure properties of computable constructive models,” Algebra i Logika,26, No. 1, 36–62 (1987).
V. P. Dobritsa, “Complexity of the index set of a constructive model,” Algebra i Logika,22, No. 4, 372–381 (1983).
V. P. Dobritsa, “Computability of certain classes of constructive algebras,” Sib. Mat. Zh.,18, No. 3, 570–579 (1977).
S. S. Goncharov, “Self-stability of models and Abelian groups,” Algebra i Logika,1, No. 1, 23–44 (1980).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 55, No. 5, pp. 43–50, May, 1994.
Rights and permissions
About this article
Cite this article
Dobritsa, V.P. Computability of the set of computable indexing schemes of the class of constructable models. Math Notes 55, 466–470 (1994). https://doi.org/10.1007/BF02110373
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02110373