Literature Cited
Yu. L. Ershov, Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
H. Rodgers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
V. P. Dobritsa, “Structural properties of computable classes of constructive models,” Algebra Logika,26, No. 1, (1987).
V. P. Dobritsa, “Local classes and computable indexings,” Algebra Logika,26, No. 2 (1987).
Additional information
Alma-Ata City. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 30, No. 3, pp. 45–51, May–June, 1989.
Rights and permissions
About this article
Cite this article
Dobritsa, V.P. Computability of some subclasses of the computable class of constructive models. Sib Math J 30, 382–386 (1989). https://doi.org/10.1007/BF00971491
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00971491