Азриэль Леви

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

Биография

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

Среди его учеников Дов Габбай , Моти Гитик и Менахем Магидор .

Избранные работы

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

Ссылки

• Канамори, Акихиро (2006). «Леви и теория множеств» . Анналы чистой и прикладной логики . 140 (1–3): 233–252. дои : 10.1016/j.apal.2005.09.009 . Збл   1089.03004 .

Внешние ссылки

• Азриэль Леви в проекте «Математическая генеалогия»