Question: Which of the following is known for his work on the decidability of algebraic groups: Anatoly Maltsev or Vladimir Levenshtein?
Sentence (from "Hahn series"): Hahn series were first introduced, as groups, in the course of the proof of the Hahn embedding theorem and then studied by him as fields in his approach to Hilbert's seventeenth problem.
Relevant evidence: No