Азриэль Леви

Азриэль Леви ^[1] ( иврит : עזריאל לוי; родился около 1934 г.) — израильский математик , логик и почетный профессор Еврейского университета в Иерусалиме .

биография

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

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

^ Чаще пишется с акцентом в английских источниках, например, А. Леви: Иерархия формул в теории множеств , Мемуары Американского математического общества , 57 , 1965.
^ Баумгартнер, JE (1980). «Обзор: базовая теория множеств Азриэля Леви» (PDF) . Бык. амер. Математика. Соц. (НС) . 3, часть 1 (1): 772–774. дои : 10.1090/S0273-0979-1980-14817-X .