Mathematician:Azriel Lévy

Mathematician
Israeli mathematician and logician.

Professor emeritus at the University of Jerusalem.

Worked on several results investigating the Axiom of Choice.

Nationality
Israeli

History

 * Born: 1934

Theorems and Definitions

 * Levy Hierarchy of the formulas of set theory
 * Levy Collapse
 * Feferman-Levy Model (with )

Publications

 * 1965: A hierarchy of formulas in set theory
 * 1971: The Boolean prime ideal theorem does not imply the axiom of choice (with )
 * 1973: Foundations of Set Theory, 2nd Ed. (with, and )
 * 1979: Basic Set Theory

Also known as
In Hebrew: עזריאל לוי