Anatoli Iwanowitsch Malzew
Anatoli Iwanowitsch Malzew (russisch , wiss. Transliteration ; * 14./mathematischen_Logik beim Beweis inhaltsreicher Sätze der Gruppentheorie im Jahre 1941.Zahlreiche Untersuchungen von ihm und der von ihm aufgebauten Nowosibirsker Schule der Modelltheorie hatten Fragen der Axiomatisierbarkeit und Entscheidbarkeit konkreter algebraischer Strukturklassen zum Gegenstand. Er war der Begründer einer "Theorie der konstruktiven Algebren", in der eine Verbindung von Ideen und Methoden der Berechnungstheorie mit solchen der universellen Algebra hergestellt wird.
Malzew gab bereits 1936 eine allgemeine Formulierung des "Endlichkeitssazes für Modelle" und 1941 wichtige Anwendungen dieses Satzes in der Gruppentheorie. Er befasste sich eingehend mit der "Theorie der rekursiven Funktionen" und entwickelte hier insbesondere die "Theorie der nummerierten Mengen und Algebren".
Schriften
* Untersuchungen aus dem Gebiet der mathematischen Logik, in: Mat. Sb. 1 (1936), S. 323-336
* Osnowy linejnoj algebry, Moskau/ Leningrad, Ogis, 1948
* Foundations of Linear Algebra, W. H. Freeman & Company 1963
* Algorithms and recursive functions, Wolters-Noordhoff Publishing, Netherlands 1970
* Algoritmi i rekursiwenije funkzi, 1965, deutsch: 1974
* Algebraischeskije sistemi, 1970, engl.: 1973
* The mathematics of algebaric systems, Zusammenfassung seiner Arbeiten der Logik un der Metamathematik von 1936-1967, 1971
* Algorithmen und Rekursive Funktionen, Berlin, Akademie-Verlag, 1974
