Mathematician:Azriel Lévy

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

Books and Papers

 * 1965: A hierarchy of formulas in set theory
 * 1971: The Boolean prime ideal theorem does not imply the axiom of choice (with J. D. Halpern)
 * 1973: Foundations of Set Theory, 2nd Ed. (with Abraham Fraenkel, Yehoshua Bar-Hillel and Dirk van Dalen)
 * 1979: Basic Set Theory