Andrzej Mostowski (1913 – 1975)

Der polnische Mathematiker und Logiker Andrzej Mostowski ist ein Vertreter der Lwow-Warschau-Schule. Er war Professor an der Warschauer Universität.

Er wirkte wie Borsuk, &;ukasiewicz, Mazurkiewicz, Sierpinski und andere während der Besetzung Polens durch die Nazis an der Untergrunduniversität von Warschau.

Von Mostowski stammen zahlreiche Resultate zur mathematischen Logik, zur Mengenlehre, zur Metamathematik und zur Modelltheorie.

Mit Hilfe von einer durch ihn aus Ansätzen von Fraenkel entwickelten Methode der Permutationsmodelle bewies er in der 30er Jahren, dass bestimmte Definitionen der Endlichkeit nur mir Hilfe des Auswahlaxioms als gleichwertig nachgewisen werden können.

Außerdem zeigte er, dass das Ordnungsprinzip, auf Grund dessen jede Menge eine Totalordnung besitzt, echt schwächer aks der zum Auswahlaxiom äquivalente Wohlordnungssatz ist.

Von ihm stammen auch einige interessante Arbeiten zur Verallgemeinerung von Quantoren. Nach ihm und Kleene ist eine Hierarchie der arithmetischen Mengen benannt.

Weblinks