Azriel Levy - Azriel Lévy
Azriel Lévy ( hebräisch : עזריאל לוי; geboren ca. 1934) ist ein israelischer Mathematiker , Logiker und emeritierter Professor an der Hebräischen Universität Jerusalem .
Biografie
Lévy erhielt seinen Ph.D. 1958 an der Hebräischen Universität Jerusalem unter der Leitung von Abraham Fraenkel und Abraham Robinson . Mit Cohen ‚s Methode zwingt , bewies er mehrere Ergebnisse auf der Konsistenz der verschiedenen Aussagen im Widerspruch zur Auswahlaxiom . Zum Beispiel bewies er mit JD Halpern , dass der Boolesche Primidealsatz nicht das Auswahlaxiom impliziert. Er entdeckte die Modelle L [ x ], die in der Theorie des inneren Modells verwendet werden . Er führte auch die Begriffe der Levy- Hierarchie der Formeln der Mengenlehre , des Levy-Kollaps und des Feferman-Levy-Modells ein .
Zu seinen Schülern zählen Dov Gabbay , Moti Gitik und Menachem Magidor .
Ausgewählte Werke
- Levy, Azriel (1958). "Die Unabhängigkeit verschiedener Definitionen von Endlichkeit" (PDF) . Fundamenta Mathematicae . 46 : 1–13.
- A. Lévy: Eine Hierarchie von Formeln in der Mengenlehre , Memoirs of the American Mathematical Society, 57 , 1965.
- JD Halpern, A. Lévy: Der Boolesche Primidealsatz impliziert nicht das Auswahlaxiom, Axiomatic Set Theory , Symposia Pure Math., 1971, 83–134.
- A. Lévy: Basic Set Theory , Springer-Verlag, Berlin, 1979, 391 Seiten; nachgedruckt von Dover Publications, 2003.
Anmerkungen
Verweise
- Kanamori, Akihiro (2006). "Abgabe- und Mengenlehre" (PDF) . Annalen der reinen und angewandten Logik . 140 : 233–252. doi : 10.1016/j.apal.2005.09.009 . Zbl 1089.03004 . Archiviert vom Original (PDF) am 20.10.2016 . Abgerufen 2008-07-07 .
Externe Links
