Article PDF
Avoid common mistakes on your manuscript.
Literature Cited
S. S. Goncharov, "Constructive Boolean algebras," in: Third All-Union Conf. Math. Logic [in Russian], Novosibirsk (1974).
S. S. Goncharov, "On the number of nonautoequivalent constructivizations," Algebra Logika,16, No. 3, 257–282 (1977).
S. S. Goncharov, "Nonautoequivalent constructivizations of atomic Boolean algebras," Mat. Zametki,19, No. 6, 853–858 (1976).
S. S. Goncharov, "Some properties of constructivizations of Boolean algebras," Sib. Mat. Zh.16, No. 2, 264–278 (1975).
V. D. Dzgoev, "Constructivization of distributive structures with relative complements," in: Fourteenth All-Union Algebraic Conference [in Russian], Part 2, Novosibirsk (1977).
V. D. Dzgoev, "Constructivization of certain structures," Dep. No. 1606-1979, VINITI.
V. D. Dzgoev, "Recursive automorphisms of constructive models," in: Fifteenth All-Union Algebraic Conference [in Russian], Krasnoyarsk (1979).
Yu. L. Ershov, Theory of Numerations [in Russian], Part III, Novosibirsk State Univ. (1974).
A. T. Nurtazin, "Computable classes and algebraic conditions for autostability," Author's Abstract of Doctoral Dissertation, Novosibirsk (1974).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
Additional information
Translated from Algebra i Logika, Vol. 19, No. 1, pp. 45–58, January–February, 1980.
Rights and permissions
About this article
Cite this article
Goncharov, S.S., Dzgoev, V.D. Autostability of models. Algebra and Logic 19, 28–37 (1980). https://doi.org/10.1007/BF01669102
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01669102