Question: Which mathematician contributed most to the decidability of various algebraic groups, Anatoly Maltsev or Semyon Aranovich Gershgorin?
Sentence (from "Demazure conjecture"): The conjecture implies that many of the results of his paper can be extended from complex algebraic groups to algebraic groups over fields of other characteristics or over the integers.
Relevant evidence: No