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 .
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 .