Azriel Lévy - Azriel Lévy
Azriel Lévy (en hebreo : עזריאל לוי; nacido en 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 Ph.D. en la Universidad Hebrea de Jerusalén en 1958, bajo la supervisión de Abraham Fraenkel y Abraham Robinson . Utilizando el método de coacción de Cohen , demostró varios resultados sobre la consistencia de varias declaraciones que contradicen el axioma de elección . Por ejemplo, con JD 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 , el colapso de Levy y el modelo Feferman-Levy .
Sus estudiantes incluyen a Dov Gabbay , Moti Gitik y Menachem Magidor .
Trabajos seleccionados
- Lévy, Azriel (1958). "La independencia de varias definiciones de finitud" (PDF) . Fundamenta Mathematicae . 46 : 1-13.
- A. Lévy: Una jerarquía de fórmulas en la teoría de conjuntos , Memoirs of the American Mathematical Society, 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 , Symposia Pure Math., 1971, 83-134.
- A. Lévy: Basic Set Theory , Springer-Verlag, Berlín, 1979, 391 páginas; reimpreso por Dover Publications, 2003.
Notas
Referencias
- Kanamori, Akihiro (2006). "Levy y teoría de conjuntos" (PDF) . Anales de lógica pura y aplicada . 140 : 233–252. doi : 10.1016 / j.apal.2005.09.009 . Zbl 1089.03004 . Archivado desde el original (PDF) el 20 de octubre de 2016 . Consultado el 7 de julio de 2008 .
enlaces externos