Azriel Lévy - Azriel Lévy - Wikipedia

Azriel Lévy[1] (hebrejština: עזריאל לוי; narozený c. 1934) je Izraelčan matematik, logik a emeritní profesor na Hebrejská univerzita v Jeruzalémě.

Životopis

Lévy získal titul Ph.D. na Hebrejská univerzita v Jeruzalémě v roce 1958 pod dohledem Abraham Fraenkel a Abraham Robinson. Použitím Cohen metoda nutit, prokázal několik výsledků na konzistence různých výroků odporujících axiom volby. Například u J. D. Halperna dokázal, že Booleova primární věta o ideálu neznamená axiom volby. Objevil modely L[X] použito v teorie vnitřního modelu. Rovněž představil pojmy Lévyho hierarchie vzorců z teorie množin, Levyho kolaps a Feferman – Levyho model.

Mezi jeho studenty patří Dov Gabbay, Moti Gitik, a Menachem Magidor.

Vybraná díla

  • Lévy, Azriel (1958). „Nezávislost různých definic konečnosti“ (PDF). Fundamenta Mathematicae. 46: 1–13.
  • A. Lévy: Hierarchie vzorců v teorii množinMemoáry Americké matematické společnosti 57, 1965.
  • J. D. Halpern, A. Lévy: Booleova věta o ideálním ideálu neznamená axiom výběru, Teorie axiomatických množin Symposia Pure Math., 1971, 83–134.
  • A. Lévy: Teorie základních množinSpringer-Verlag, Berlín, 1979, 391 stran;[2] dotisk Dover Publications, 2003.

Poznámky

  1. ^ Více obyčejně psaný s přízvukem v anglických zdrojích, např., A. Lévy: Hierarchie vzorců v teorii množinMemoáry Americké matematické společnosti 57, 1965.
  2. ^ Baumgartner, J. E. (1980). "Posouzení: Základní teorie množin podle Azriel Lévy " (PDF). Býk. Amer. Matematika. Soc. (N.S.). 3, část 1 (1): 772–774. doi:10.1090 / S0273-0979-1980-14817-X.

Reference

externí odkazy