עזריאל לוי
מתוך ויקיפדיה, האנציקלופדיה החופשית
| עזריאל לוי נולד ב-1934 |
||||||
|---|---|---|---|---|---|---|
|
||||||
| תרומות עיקריות | ||||||
| תרומה חשובה להתפתחותה של תורת הקבוצות, ועל שמו קרויים המושגים Levy hierarchy, Levy collapse, Levy absoluteness. | ||||||
|
||||||
עזריאל לוי (נולד ב-1934), מתמטיקאי ולוגיקן ישראלי, פרופסור באוניברסיטה העברית בירושלים.
בשנת 1958 קיבל תואר דוקטור מטעם האוניברסיטה העברית בירושלים, על עבודה בשם "תרומות למטא-מתמטיקה של תורת הקבוצות" שנעשתה בהנחייתם של אברהם הלוי פרנקל ואברהם רובינסון. בשנים 1958-1959 יצא לפוסטדוקטורט ב-MIT, ובשנתיים שלאחר מכן היה מרצה אורח באוניברסיטת קליפורניה בברקלי. ב-1961 הצטרף לסגל האוניברסיטה העברית. ב-1972 היה מנחהו של מנחם מגידור לדוקטורט.
תוך שימוש בשיטת הכפייה של פול כהן הוכיח תוצאות אחדות המציגות עקביות של משפטים המנוגדים לאקסיומת הבחירה. לוי הרים תרומה חשובה להתפתחותה של תורת הקבוצות, ועל שמו קרויים המושגים Levy hierarchy, Levy collapse, Levy absoluteness.
במסגרת האוניברסיטה הפתוחה פיתח את הקורס "לוגיקה מתימטית".
[עריכה] מכתביו
- 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.
- Abraham A. Fraenkel, Yehoshua Bar-Hillel, and Azriel Levy, Foundations of Set Theory, North Holland, 1973.
[עריכה] קישורים חיצוניים
- Akihiro Kanamori: Levy and set theory, Annals of Pure and Applied Logic, 140 (2006) ,233-252.
