Literature Cited
S. S. Goncharov, "Autostability and computable families of constructivizations," Algebra Logika,14, No. 6, 647–680 (1975).
S. S. Goncharov, "On the number of nonautoequivalent constructivizations," Algebra Logika,16, No. 3, 257–282 (1977).
S. S. Goncharov, "Constructive Boolean algebras," in: Third All-Union Conf. on Mathematical Logic [in Russian], Novosibirsk (1974).
S. S. Goncharov and V. P. Dobritsa, "An example of a constructive Abelian group with a nonconstructivizable reduced subgroup," in: Fourth All-Union Conf. on Mathematical Logic [in Russian], Kishinev (1976).
S. S. Goncharov, "Nonautoequivalent constructivizations of atomic Boolean algebras," Mat. Zametki,19, No. 6, 853–858 (1976).
Yu. L. Ershov, Theory of Numerations [in Russian], Part. III, Novosibirsk State Univ. (1974).
A. G. Kurosh, Group Theory, Chelsea Publ.
A. I. Mal'tsev, "On recursive Abelian groups," Dokl. Akad. Nauk SSSR,146, No. 5, 1009–1012 (1961).
A. T. Nurtazin, "Computable classes and algebraic conditions for autostability," Author's Abstract of Doctoral Dissertation, Novosibirsk (1974).
A. T. Nurtazin, "Strong and weak constructivizations," Algebra Logika,13, No. 3, 311–323 (1974).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
S. S. Goncharov and V. D. Dzgoev, "Autostability of models," Algebra Logika,19, No. 1, 45–58 (1980).
Additional information
Translated from Algebra i Logika, Vol. 19, No. 1, pp. 23–44, January–February, 1980.
Rights and permissions
About this article
Cite this article
Goncharov, S.S. Autostability of models and Abelian groups. Algebra and Logic 19, 13–27 (1980). https://doi.org/10.1007/BF01669101
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01669101