アズリエル・レヴィ | |
|---|---|
עזריאל לוי | |
| 生まれる | 1934年頃 |
| 母校 | エルサレム・ヘブライ大学 |
| 知られている | レヴィ階層、レヴィ崩壊、フェファーマン・レヴィモデル |
| 科学者としてのキャリア | |
| フィールド | 数学、論理 |
| 機関 | エルサレム・ヘブライ大学 |
| 博士課程の指導教員 | アブラハム・フランケルアブラハム・ロビンソン |
| 博士課程の学生 | |
アズリエル・レヴィ[ 1 ] (ヘブライ語: עזריאל לוי ; 1934年頃生まれ) はイスラエルの数学者、論理学者であり、エルサレムのヘブライ大学の名誉教授である。
バイオグラフィー
レヴィは1958年、エルサレムのヘブライ大学でアブラハム・フランケルとアブラハム・ロビンソンの指導の下、博士号を取得した。後に、コーエンの強制法を用いて、選択公理に反する様々な命題の整合性に関するいくつかの結果を証明した。例えば、JDハルパーンとともに、ブール素イデアル定理が選択公理を含意しないことを証明した。彼は内部モデル理論で使用されるモデルL [ x ]を発見した。また、集合論の公式のレヴィ階層、レヴィ崩壊、フェフェルマン・レヴィモデルの概念も導入した。
彼の生徒には、ドヴ・ガバイ、モティ・ギティク、メナヘム・マギドールなどがいます。
選りすぐりの作品
- レヴィ、アズリエル (1958). 「有限性の様々な定義の独立性」(PDF) . Fundamenta Mathematicae . 46 : 1–13 . doi : 10.4064/fm-46-1-1-13 .
- A. レヴィ：集合論における公式の階層、アメリカ数学会報、57、1965年。
- JD Halpern、A. Lévy：「ブール素イデアル定理は選択公理を意味しない」、公理的集合論、Symposia Pure Math.、1971、83–134。
- A. Lévy: Basic Set Theory , Springer-Verlag, Berlin, 1979, 391ページ; [ 2 ] Dover Publicationsにより2003年に再版。
注記
- ^英語の文献ではアクセント付きで表記されることが多い。例: A. Lévy: A hierarchy of formulas in set theory , Memoirs of the American Mathematical Society , 57 , 1965。
- ^ Baumgartner, JE (1980). 「Review: Basic set theory by Azriel Lévy」(PDF) . Bull. Amer. Math. Soc. (NS) . 3, Part 1 (1): 772– 774. doi : 10.1090/S0273-0979-1980-14817-X (2025年9月13日停止).
{{cite journal}}: CS1 maint: DOIは2025年9月時点で非アクティブです（リンク）
参考文献
- 金森 章弘(2006) 「レヴィと集合論」。純粋論理と応用論理の年代記。140 ( 1–3 ): 233–252 .土井: 10.1016/j.apal.2005.09.009。Zbl 1089.03004。
外部リンク
   | イスラエルの科学者に関するこの記事はスタブです。不足している情報を追加して、Wikipedia に貢献してください。 |
 | この記事はアジアの数学者に関するものです。不足している情報を追加してWikipediaに貢献してください。 |
