Azriel Lévy - Azriel Lévy
Azriel Lévy ( hebr . עזריאל לוי; c ur 1934) jest izraelskim matematyk , logik i emerytowany profesor na Uniwersytecie Hebrajskim w Jerozolimie .
Biografia
Lévy uzyskał doktorat. na Uniwersytecie Hebrajskim w Jerozolimie w 1958 pod kierunkiem Abrahama Fraenkla i Abrahama Robinsona . Używając metody forsowania Cohena , udowodnił kilka wyników dotyczących spójności różnych stwierdzeń sprzecznych z aksjomatem wyboru . Na przykład za pomocą JD Halperna udowodnił, że twierdzenie Boole'a o ideałach pierwotnych nie implikuje aksjomatu wyboru. Odkrył modele L [ x ] używane w teorii modeli wewnętrznych . Wprowadził również pojęcia hierarchii Lévy'ego do formuł teorii mnogości , załamania Levy'ego i modelu Fefermana-Levy'ego .
Jego uczniami są Dov Gabbay , Moti Gitik i Menachem Magidor .
Wybrane prace
- Lévy, Azriel (1958). „Niezależność różnych definicji skończoności” (PDF) . Fundamenta Mathematicae . 46 : 1–13.
- A. Lévy: Hierarchia formuł w teorii mnogości , Memoirs of the American Mathematical Society, 57 , 1965.
- JD Halpern, A. Lévy: Boole'owskie pierwsze idealne twierdzenie nie implikuje aksjomatu wyboru, Aksjomatyczna teoria mnogości , Symposia Pure Math., 1971, 83-134.
- A. Lévy: Basic Set Theory , Springer-Verlag, Berlin, 1979, 391 stron; przedrukowane przez Dover Publications, 2003.
Uwagi
Bibliografia
- Kanamori, Akihiro (2006). „Teoria opłat i mnogości” (PDF) . Roczniki logiki czystej i stosowanej . 140 : 233–252. doi : 10.1016/j.apal.2005.09.09 . Zbl 1089.03004 . Zarchiwizowane z oryginału (PDF) w dniu 2016-10-20 . Źródło 2008-07-07 .
Linki zewnętrzne