Azriel Lévy - Azriel Lévy
Azriel Lévy ( hébreu : עזריאל לוי ; né vers 1934 ) est un mathématicien , logicien et professeur émérite à l' Université hébraïque de Jérusalem .
Biographie
Lévy a obtenu son doctorat. à l' Université hébraïque de Jérusalem en 1958, sous la direction d' Abraham Fraenkel et d' Abraham Robinson . En utilisant la méthode de forçage de Cohen , il a prouvé plusieurs résultats sur la cohérence de divers énoncés contredisant l' axiome du choix . Par exemple, avec JD Halpern, il a prouvé que le théorème de l'idéal premier booléen n'implique pas l'axiome du choix. Il a découvert les modèles L [ x ] utilisés dans la théorie des modèles internes . Il a également introduit les notions de hiérarchie de Lévy des formules de la théorie des ensembles , l' effondrement de Levy et le modèle de Feferman-Levy .
Ses étudiants incluent Dov Gabbay , Moti Gitik et Menachem Magidor .
Œuvres choisies
- Lévy, Azriel (1958). « L'indépendance de diverses définitions de la finitude » (PDF) . Fundamenta Mathematicae . 46 : 1-13.
- A. Lévy : Une hiérarchie de formules en théorie des ensembles , Mémoires de l'American Mathematical Society, 57 , 1965.
- JD Halpern, A. Lévy : Le théorème booléen de l'idéal premier n'implique pas l'axiome du choix, Axiomatic Set Theory , Symposia Pure Math., 1971, 83-134.
- A. Lévy : Basic Set Theory , Springer-Verlag, Berlin, 1979, 391 pages ; réimprimé par Dover Publications, 2003.
Remarques
Les références
- Kanamori, Akihiro (2006). "Levy et la théorie des ensembles" (PDF) . Annales de logique pure et appliquée . 140 : 233-252. doi : 10.1016/j.apal.2005.09.09 . Zbl 1089.03004 . Archivé de l'original (PDF) le 2016-10-20 . Récupéré le 2008-07-07 .
Liens externes