Literature Cited
Yu. L. Ershov, “Decidability of the elementary theory of distributive structures with relative complements and the theory of filters,” Algebra Logika,4, No. 3, 17–38 (1964).
Yu. L. Ershov, “Undecidability of certain fields,” Dokl. Akad. Nauk SSSR,161, No. 1, 27–29 (1965).
P. S. Novikov, “Algorithmic undecidability of the word identity problem in group theory,” Tr. Mat. Inst. Akad. Nauk SSSR,14, 709–711 (1955).
Additional information
A. A. Zhdanov Irkutsk State University, Irkutsk. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 23, No. 3, pp. 147–154, May–June, 1982.
Rights and permissions
About this article
Cite this article
Mart'yanov, V.I. Undecidability of the theory of Boolean algebras with automorphism. Sib Math J 23, 408–415 (1982). https://doi.org/10.1007/BF00973498
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00973498