Azriel Lévy
Male, Person
1934 –
Who is Azriel Lévy?
Azriel Lévy 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 notable students include Dov Gabbay, Moti Gitik, Menachem Magidor.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Azriel Lévy." Biographies.net. STANDS4 LLC, 2024. Web. 23 Apr. 2024. <https://www.biographies.net/people/en/azriel_levy>.
Discuss this Azriel Lévy biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In