MALTSEV ANATOLI IVANOVITCH (1909-1967)

Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik, 1936, Maltsev démontre la version la plus générale (aucune restriction de cardinalité) du théorème de compacité pour les langages du premier ordre, d'où directement découlent une forme du théorème de Löwenheim-Skolem et la méthode des diagrammes. Cette méthode, systématiquement élaborée et considérablement généralisée par Maltsev tout au long de sa carrière — au début des années cinquante, Maltsev introduit la notion remarquable de « modèle-correspondance », où il est un des premiers à exploiter les logiques à plusieurs types d'objet —, est spécialement adaptée à l'étude des structures qui possèdent localement certaines propriétés et aux problèmes de plongement. Dans une longue série d'articles, dont le plus spectaculaire est consacré aux groupes linéaires, Maltsev applique ses techniques à la théorie des groupes. Quand la méthode des diagrammes sera redécouverte après 1945 par A. Robinson e […]