Azriel Lévy

Azriel Lévy ^[1] ( hebreo : עזריאל לוי; nacido c. 1934) es un matemático , lógico y profesor emérito israelí en la Universidad Hebrea de Jerusalén .

Biografía

Lévy obtuvo su doctorado en la Universidad Hebrea de Jerusalén en 1958, bajo la supervisión de Abraham Fraenkel y Abraham Robinson . Más tarde, utilizando el método de forzamiento de Cohen , demostró varios resultados sobre la consistencia de varias afirmaciones que contradecían el axioma de elección . Por ejemplo, con J. D. Halpern demostró que el teorema del ideal primo de Boole no implica el axioma de elección. Descubrió los modelos L [ x ] utilizados en la teoría de modelos internos . También introdujo las nociones de jerarquía de Lévy de las fórmulas de la teoría de conjuntos , colapso de Lévy y el modelo de Feferman-Lévy.

Entre sus estudiantes se incluyen Dov Gabbay , Moti Gitik y Menachem Magidor .

Levy, Azriel (1958). "La independencia de varias definiciones de finitud" (PDF) . Fundamentos Mathematicae . 46 : 1–13. doi :10.4064/fm-46-1-1-13.
A. Lévy: Una jerarquía de fórmulas en la teoría de conjuntos , Memorias de la Sociedad Matemática Americana, 57 , 1965.
JD Halpern, A. Lévy: El teorema del ideal primo booleano no implica el axioma de elección, Teoría de conjuntos axiomáticos , Simposios Matemáticas Pura, 1971, 83–134.
A. Lévy: Basic Set Theory , Springer-Verlag, Berlín, 1979, 391 páginas; ^[2] reimpreso por Dover Publications, 2003.

^ Más comúnmente escrito con acento en fuentes inglesas, por ejemplo, A. Lévy: A laboratories: A laboratories , Memoirs of the American Mathematical Society , 57 , 1965.
^ Baumgartner, JE (1980). "Revisión: Teoría básica de conjuntos por Azriel Lévy" (PDF) . Bull. Amer. Math. Soc. (NS) . 3, Parte 1 (1): 772–774. doi : 10.1090/S0273-0979-1980-14817-X .

Kanamori, Akihiro (2006). "Levy y la teoría de conjuntos". Anales de lógica pura y aplicada . 140 (1–3): 233–252. doi : 10.1016/j.apal.2005.09.009 . Zbl 1089.03004.