Azriel Lévy

Azriel Lévy
Azriel Lévy
עזריאל לוי
Born	c. 1934
Nationality	Israeli
Alma mater	Hebrew University of Jerusalem
Known for	Lévy hierarchy, Lévy collapse, Feferman–Levy model
	Scientific career
Fields	Mathematics, Logic
Institutions	Hebrew University of Jerusalem
Doctoral advisor	Abraham Fraenkel, Abraham Robinson

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

Biography

Lévy obtained his Ph.D. at the Hebrew University of Jerusalem in 1958, under the supervision of Abraham Fraenkel and Abraham Robinson. Later, 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, Levy collapse and the Feferman–Levy model.

Lévy, Azriel (1958). "The independence of various definitions of finiteness" (PDF). Fundamenta Mathematicae. 46: 1–13. doi:10.4064/fm-46-1-1-13.1-13&rft.date=1958&rft_id=info:doi/10.4064/fm-46-1-1-13&rft.aulast=Lévy&rft.aufirst=Azriel&rft_id=http://matwbn.icm.edu.pl/ksiazki/fm/fm46/fm4611.pdf&rfr_id=info:sid/en.wikipedia.org:Azriel Lévy" class="Z3988">
A. Lévy: A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, 57, 1965.
J. D. Halpern, A. Lévy: The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83–134.
A. Lévy: Basic Set Theory, Springer-Verlag, Berlin, 1979, 391 pages;^[2] reprinted by Dover Publications, 2003.

^ More commonly written with an accent in English sources, e.g., A. Lévy: A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, 57, 1965.
^ 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.772-774&rft.date=1980&rft_id=info:doi/10.1090/S0273-0979-1980-14817-X&rft.au=Baumgartner, J. E.&rft_id=https://www.ams.org/journals/bull/1980-03-01/S0273-0979-1980-14817-X/S0273-0979-1980-14817-X.pdf&rfr_id=info:sid/en.wikipedia.org:Azriel Lévy" class="Z3988">

Kanamori, Akihiro (2006). "Levy and set theory". Annals of Pure and Applied Logic. 140 (1–3): 233–252. doi:10.1016/j.apal.2005.09.009. Zbl 1089.03004.1–3&rft.pages=233-252&rft.date=2006&rft_id=https://zbmath.org/?format=complete&q=an:1089.03004#id-name=Zbl&rft_id=info:doi/10.1016/j.apal.2005.09.009&rft.aulast=Kanamori&rft.aufirst=Akihiro&rft_id=https://doi.org/10.1016%2Fj.apal.2005.09.009&rfr_id=info:sid/en.wikipedia.org:Azriel Lévy" class="Z3988">

This article about an Israeli scientist is a stub. You can help Wikipedia by expanding it.

This article about an Asian mathematician is a stub. You can help Wikipedia by expanding it.