Азриэль Леви - Azriel Lévy

Azriel Lévy ( иврит :. עזריאל לוי, родился с 1934) является израильский математик , логик , и почетный профессор в Еврейском университете в Иерусалиме .

биография

Леви получил докторскую степень. в Еврейском университете Иерусалима в 1958 году под руководством Авраама Френкеля и Авраама Робинсона . Используя метод принуждения Коэна , он доказал несколько результатов о непротиворечивости различных утверждений, противоречащих аксиоме выбора . Например, вместе с Дж. Д. Халперном он доказал, что из теоремы о булевом простом идеале не следует аксиома выбора. Он открыл модели L [ x ], используемые во внутренней теории моделей . Он также ввел понятия иерархии Леви формул теории множеств , коллапса Леви и модели Фефермана – Леви .

Леви, Азриэль (1958). «Независимость различных определений конечности» (PDF) . Fundamenta Mathematicae . 46 : 1–13.
А. Леви: Иерархия формул в теории множеств , Мемуары Американского математического общества, 57 , 1965.
Дж. Д. Халперн, А. Леви: Теорема о булевом простом идеале не влечет за собой аксиому выбора, Аксиоматическая теория множеств , Symposia Pure Math., 1971, 83–134.
А. Леви: Основная теория множеств , Springer-Verlag, Берлин, 1979, 391 страница; перепечатано Dover Publications, 2003.