Which of the following is known for his work on the decidability of algebraic groups: Anatoly Maltsev or Vladimir Levenshtein?
Anatoly Maltsev Anatoly Ivanovich Maltsev (also: Malcev, Mal'cev; Russian: Анато́лий Ива́нович Ма́льцев; 27 November N.S./14 November O.S. 1909, Moscow Governorate – 7 June 1967, Novosibirsk) was born in Misheronsky, near Moscow, and died in Novosibirsk, USSR. He was a mathematician noted for his work on the decidability of various algebraic groups. Malcev algebras (generalisations of Lie algebras) are named after him.
Sergey Yablonsky Sergey Vsevolodovich Yablonsky (Russian: Серге́й Все́володович Ябло́нский, 6 December 1924 – 26 May 1998) was a Soviet and Russian mathematician, one of the founders of the Soviet school of mathematical cybernetics and discrete mathematics. He is the author of a number of classic results on synthesis, reliability, and classification of control systems (Russian: Управляющие системы ), the term used in the USSR and Russia for a generalization of finite state automata, Boolean circuits and multi-valued logic circuits. (The term is ambiguous, since conventionally in the West control systems is understood as an engineering discipline. The ambiguity stems from the fact that the names of the two disciplines that differ in Russian, namely "Системы управления" and "Управляющие системы", are both translated into English as "control systems".)