fbpx
Wikipedia

Azriel Lévy

January 01, 1970

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

Biography edit

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.

His students include Dov Gabbay, Moti Gitik, and Menachem Magidor.

Selected works edit

  • 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.
  • 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.

Notes edit

  1. ^ 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.
  2. ^ 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.

References edit

External links edit


    

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.

January 01, 1970
azriel, lévy, hebrew, עזריאל, לוי, born, 1934, israeli, mathematician, logician, professor, emeritus, hebrew, university, jerusalem, contents, biography, selected, works, notes, references, external, linksbiography, editlévy, obtained, hebrew, university, jeru. Azriel Levy 1 Hebrew עזריאל לוי born c 1934 is an Israeli mathematician logician and a professor emeritus at the Hebrew University of Jerusalem Contents 1 Biography 2 Selected works 3 Notes 4 References 5 External linksBiography editLevy 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 Levy hierarchy of the formulas of set theory Levy collapse and the Feferman Levy model His students include Dov Gabbay Moti Gitik and Menachem Magidor Selected works editLevy Azriel 1958 The independence of various definitions of finiteness PDF Fundamenta Mathematicae 46 1 13 doi 10 4064 fm 46 1 1 13 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 2 reprinted by Dover Publications 2003 Notes edit More commonly written with an accent in English sources e g A Levy 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 Levy PDF Bull Amer Math Soc N S 3 Part 1 1 772 774 doi 10 1090 S0273 0979 1980 14817 X References editKanamori 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 External links editAzriel Levy at the Mathematics Genealogy Project nbsp nbsp nbsp This article about an Israeli scientist is a stub You can help Wikipedia by expanding it vte nbsp This article about an Asian mathematician is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Azriel Levy amp oldid 1191610049, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.