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 Ph.D. en la Universidad Hebrea de Jerusalén en 1958, bajo la supervisión de Abraham Fraenkel y Abraham Robinson . Usando 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; [2] reimpreso por Dover Publications, 2003.
Notas
- ^ Más comúnmente escrito con acento en fuentes inglesas, por ejemplo, A. Lévy: Una jerarquía de fórmulas en la teoría de conjuntos , Memoirs of the American Mathematical Society, 57 , 1965.
- ^ Baumgartner, JE (1980). "Reseña: Teoría básica de conjuntos de Azriel Lévy" (PDF) . Toro. Amer. Matemáticas. Soc. (NS) . 3, Parte 1 (1): 772–774. doi : 10.1090 / S0273-0979-1980-14817-X .
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
- Azriel Lévy en el Proyecto de genealogía matemática