아즈릴 레비
Azriel Lévy아즈리엘 레비[1](Hebre: עזרילללל וי;;; c. 1934년생)는 이스라엘의 수학자, 논리학자, 히브리 예루살렘 대학교의 명예교수다.
전기
레비는 1958년 아브라함 프라운켈과 아브라함 로빈슨의 감독 아래 예루살렘 히브리 대학에서 박사학위를 취득했다. 코헨의 강요 방법을 사용하여, 그는 선택의 공리와 모순되는 다양한 진술의 일관성에 대한 몇 가지 결과를 증명했다. 예를 들어, J. D.와 함께. Halpern은 부울 프라임 이상 정리가 선택의 공리를 의미하지 않는다는 것을 증명했다. 그는 이너 모델 이론에 사용된 L[x] 모델을 발견했다. 그는 또한 세트 이론, 레비 붕괴, 페퍼만-의 공식에 대한 레비 계층의 개념을 소개했다.부담금 모델.
그의 제자는 도브 가베이, 모티 기티크, 메나켐 마기도르 등이다.
선택한 작품
- Lévy, Azriel (1958). "The independence of various definitions of finiteness" (PDF). Fundamenta Mathematicae. 46: 1–13.
- A. 레비: 세트 이론의 공식 서열, 미국 수학 학회의 회고록, 57, 1965.
- J. D. Halpern, A. 레비: 부울 프라임 이상적 정리는 선택의 공리, Axiomatic Set 이론, 심포비아 순수 수학, 1971, 83–134를 의미하지 않는다.
- A. 레비: 베를린 스프링거-베를라크, 1979, 391쪽,[2] 도버 출판사에서 재인쇄, 2003.
메모들
- ^ 더 일반적으로 영어 출처에 악센트로 쓰여진다. 예를 들어, A. 레비: 세트 이론의 공식 서열, 미국 수학 학회의 회고록, 57, 1965.
- ^ Baumgartner, J. E. (1980). "Review: Basic set theory by Azriel Lévy" (PDF). Bull. Amer. Math. Soc. (N.S.). 3, Part 1 (1): 772–774. doi:10.1090/S0273-0979-1980-14817-X.
참조
- Kanamori, Akihiro (2006). "Levy and set theory" (PDF). Annals of Pure and Applied Logic. 140: 233–252. doi:10.1016/j.apal.2005.09.009. Zbl 1089.03004. Archived from the original (PDF) on 2016-10-20. Retrieved 2008-07-07.
외부 링크
