- Azriel Levy
Azriel Levy (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 Fraenkel and 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 theBoolean prime ideal theorem does not imply the axiom of choice. He also introduced the notions ofLevy hierarchy of the formulas of set theory and Levy collapse. His notable students includeDov Gabbay ,Moti Gitik ,Menachem Magidor .elected works
* A. Levy: "A hierarchy of formulas in set theory", Memoirs of the American Mathematical Society, 57, 1965.
* J. D. Halpern, A. Levy: The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83-134.
* A. Levy: "Basic Set Theory", Springer-Verlag, Berlin, 1979, 391 pages. Reprinted by Dover Publications, 2003.Reference
* Akihiro Kanamori: [http://math.bu.edu/people/aki/11.pdf Levy and set theory] , "Annals of Pure and Applied Logic", 140(2006),233-252.
External links
*MathGenealogy|id=24628
Wikimedia Foundation. 2010.
