Voltooiing en vereenvoudiging van het classificatiebewijs zijn gebieden van actief onderzoek Anatoli Maltsev leverde gedurende deze periode een belangrijke bijdrage aan de groepentheorie: zijn vroege werk was in de jaren 1930 op het gebied van de logica, maar in de jaren 1940 bewees hij belangrijke inbeddinginseigenschappen van halfgroepen naar groepen, bestudeerde hij het isomorfismeprobleem van de groepsringen, stelde hij de Malçev-correspondentie voor polycyclische groepen vast, en bewees in de jaren 1960, teruggekeerd naar de logica, dat verschillende theorieën binnen de studie van de groepentheorie onbeslisbaar zijn.
Anatoly Maltsev also made important contributions to group theory during this time; his early work was in logic in the 1930s, but in the 1940s he proved important embedding properties of semigroups into groups, studied the isomorphism problem of group rings, established the Malçev correspondence for polycyclic groups, and in the 1960s return to logic proving various theories within the study of groups to be undecidable.WikiMatrix WikiMatrix