Literature Cited
A. G. Myasnikov and V. N. Remeslennikov, “Isomorphisms and elementary properties of powers of nilpotent groups,” Tr. Inst. Mat.,2, Mathematical Logic and the Theory of Algorithms [in Russian], Nauka, Novosibirsk (1981), pp. 56–87.
Yu. L. Ershov, Solubility Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
I. Robinson, “The undecidability of algebraic rings and fields,” Proc. Am. Math. Soc.,10, 950–957 (1959).
M. I. Kargapolov, V. N. Remeslennikov, N. S. Romanovskii, V. A. Roman'kov, and V. A. Churkin, “Algorithmic problems for 0-degree groups,” Algebra Logika,8, No. 6, 643–659 (1969).
A. G. Myasnikov and V. N. Remeslennikov, “The classification of power nilpotent groups according to their elementary properties,” Dokl. Akad. Nauk SSSR,258, No. 5, 1056–1059 (1981).
Additional information
Complex Branch of the Institute of Mathematics of the Siberian Branch of the Academy of Sciences of the USSR, Omsk. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 23, No. 5, pp. 152–167, September–October, 1982.
Rights and permissions
About this article
Cite this article
Myasnikov, A.G., Remeslennikov, V.N. Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I. Sib Math J 23, 711–724 (1982). https://doi.org/10.1007/BF00971290
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00971290