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 )
 * 1973: Foundations of Set Theory, 2nd Ed. (with, and )
 * 1979: Basic Set Theory