# Mathematician:Azriel Levy

Jump to navigation
Jump to search

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

## 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 Halevi Fraenkel, Yehoshua Bar-Hillel and Dirk van Dalen) - 1979:
*Basic Set Theory*