Azriel Lévy

Azriel Lévy (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem.

He obtained his Ph.D. at the Hebrew University of Jerusalem in 1958, under the supervision of Abraham Fraenkel and Abraham Robinson. Using Cohen's method of forcing, he proved several results on the consistency of various statements contradicting the axiom of choice. For example, with J. D. Halpern he proved that the Boolean prime ideal theorem does not imply the axiom of choice. He discovered the models L[x] used in inner model theory. He also introduced the notions of Lévy hierarchy of the formulas of set theory and Levy collapse. His students include Dov Gabbay, Moti Gitik, and Menachem Magidor.

Selected works

References

  1. Baumgartner, J. E. (1980). "Review: Basic set theory by Azriel Lévy" (PDF). Bull. Amer. Math. Soc. (N.S.). 3, Part 1 (1): 772–774. doi:10.1090/S0273-0979-1980-14817-X.

See also

External links


This article is issued from Wikipedia - version of the Monday, April 11, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.