Азриэль Леви - Википедия - Azriel Lévy

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

Өмірбаян

Леви кандидаттық диссертациясын қорғады. кезінде Иерусалимдегі Еврей университеті басшылығымен 1958 ж Авраам Фраенкел және Авраам Робинсон. Қолдану Коэн әдісі мәжбүрлеу, ол бірнеше нәтижелерді дәлелдеді дәйектілік қарама-қайшы әр түрлі мәлімдемелер таңдау аксиомасы. Мысалы, Дж.Д.Галпернмен ол Бульдік идеал теоремасы таңдау аксиомасын білдірмейді. Ол модельдерді ашты L[х] жылы қолданылған ішкі модель теориясы. Туралы түсініктерін де енгізді Леви иерархиясы формулаларының жиынтық теориясы, Левидің құлауы және Феферман - Леви моделі.

Оның студенттеріне кіреді Дов Ғаббай, Моти Гитик, және Menachem Magidor.

Таңдалған жұмыстар

  • Леви, Азриэль (1958). «Шектіліктің әр түрлі анықтамаларының тәуелсіздігі» (PDF). Fundamenta Mathematicae. 46: 1–13.
  • А.Леви: Жиындар теориясындағы формулалар иерархиясы, Американдық математикалық қоғам туралы естеліктер, 57, 1965.
  • Дж. Д.Галперн, А. Леви: Бульдік идеал теоремасы таңдау аксиомасын білдірмейді, Аксиоматикалық жиынтық теориясы, Симпозиумдар таза математика., 1971, 83–134.
  • А.Леви: Негізгі жиынтық теориясы, Springer-Verlag, Берлин, 1979, 391 бет;[2] қайтадан басылып шыққан Dover Publications, 2003 ж.

Ескертулер

  1. ^ Ағылшын дереккөздерінде көбінесе акцентпен жазылады, мысалы, А.Леви: Жиындар теориясындағы формулалар иерархиясы, Американдық математикалық қоғам туралы естеліктер, 57, 1965.
  2. ^ Баумгартнер, Дж. Э. (1980). «Шолу: Негізгі жиынтық теориясы авторы Азриэль Леви « (PDF). Өгіз. Amer. Математика. Soc. (Н.С.). 3, 1 бөлім (1): 772–774. дои:10.1090 / S0273-0979-1980-14817-X.

Әдебиеттер тізімі

Сыртқы сілтемелер