This is a preview of subscription content, log in via an institution to check access.
References
S. S. Goncharov, “Autostability of models and Abelian groups,” Algebra i Logika,19, No. 1, 23–44 (1980).
V. P. Dobritsa, “Computability of certain classes of constructive algebras,” Sibirsk. Mat. Zh.,18, No. 3, 570–579 (1977).
V. P. Dobritsa, “Complexity of the index set of a constructive model,” Algebra i Logika,22, No. 4, 372–381 (1983).
V. P. Dobritsa, “Structural properties of computable classes of constructive models,” Algebra i Logika,26, No. 1, 36–62 (1987).
V. P. Dobritsa, “Local classes and computable indexings,” Algebra i Logika,26, No. 2, 165–190 (1987).
Yu. L. Ershov, Decision Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
H. Rogers, Theory of Recursive Functions and Effective Computability [Russian translation], Mir, Moscow (1972).
Author information
Authors and Affiliations
Additional information
Translated fromSibirskii Matematicheskii Zhurnal, Vol. 35, No. 1, pp. 66–69, January–February, 1994.
Rights and permissions
About this article
Cite this article
Dobritsa, V.P. Conditions of effective infinity for the set of computable indexings of a class of constructive models. Sib Math J 35, 62–64 (1994). https://doi.org/10.1007/BF02104947
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02104947