Literature Cited
Yu. L. Ershov, Solvability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
A. T. Nurtazin, “Strong and weak constructivizations and computable families,” Algebra Logika,13, No. 3, 311–323 (1974).
S. S. Goncharov and A. T. Nurtazin, “Constructive models of complete solvable theories,” Algebra Logika,12, No. 2, 125–142 (1973).
Additional information
Alma-Ata. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 25, No. 5, pp. 72–78, September–October, 1984.
Rights and permissions
About this article
Cite this article
Kudaibergenov, K.Z. Autostability and extensions of constructivizations. Sib Math J 25, 743–749 (1984). https://doi.org/10.1007/BF00968687
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00968687