Literature cited
S. S. Goncharov, "Autostability of models and Abelian groups," Algebra Logika,19, No. 1, 23–44 (1980).
S. S. Goncharov, "Some properties of constructivizations of boolean algebras," Sib. Mat. Zh.,16, No. 2, 264–278 (1976).
S. S. Goncharov and V. D. Dzgoev, "Autostability of models," Algebra Logika,19, No. 2, 45–58 (1980).
S. S. Goncharov and A. T. Nurtazin, "Constructive models of complete decidable theories," Algebra Logika,12, No. 2, 125–142 (1973).
S. S. Goncharov, "Computable single-valued numerations," Algebra Logika,19, No. 5, 507–511 (1980).
S. S. Goncharov, "The problem of the number of nonautoequivalent constructivizations," Algebra Logika,19, No. 6, 621–639 (1980).
Yu. L. Ershov, Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
Yu. L. Ershov, The Theory of Numerations [in Russian], Nauka, Moscow (1977).
Handbook of Mathematical Logic [in Russian], Vol. 4, Nauka, Moscow (1982).
Additional information
Translated from Algebra i Logika, Vol. 26, No. 6, pp. 684–714, November–December, 1987.
Rights and permissions
About this article
Cite this article
Ventsov, Y.G. Nonuniform autostability of models. Algebra and Logic 26, 422–440 (1987). https://doi.org/10.1007/BF01988314
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01988314