아즈리엘 레비

1. 개요

아즈리엘 레비는 1934년 하이파에서 태어난 수학자이다. 예루살렘 히브리 대학교에서 박사 학위를 취득하고, 이후 동 대학에서 교수로 재직하며 집합론 분야에서 활발하게 연구했다. 코헨의 강제법을 사용하여 선택 공리에 모순되는 명제들의 무모순성을 증명했으며, 내부 모형 이론에 사용되는 모형 L[x]를 발견했다. 집합론 공식의 레비 위계, 레비 붕괴, 페퍼만-레비 모형 등의 개념을 도입했고, 2003년에 은퇴했다. 주요 저서로는 《집합론의 기초》, 《집합론의 공식 계층》, 《기초 집합론》 등이 있다.

2. 생애

아즈리엘 레비는 1934년 하이파의 유대인 가정에서 태어났다. 1958년 예루살렘 히브리 대학교에서 아브라함 프렝켈과 에이브러햄 로빈슨의 지도를 받아 박사 학위를 취득하였다. 이후 예루살렘 히브리 대학교에서 교수로 재직하며 1961년에 강사, 1964년에 조교수, 1968년에 정교수로 승진하였다. 2003년에 은퇴하였다.

그의 제자로는 도브 가베이, 모티 기틱, 메나헴 마기돌 등이 있다.

2.1. 학문적 업적

레비는 1958년 아브라함 프뢴켈과 아브라함 로빈슨의 지도 하에 히브리 대학교에서 박사 학위를 받았다. 이후, 코헨의 강제법을 사용하여, 선택 공리에 모순된다는 사실의 무모순성에 대한 여러 명제들을 증명했다. 예를 들어, J. D. 할펀과 함께 부울 소 아이디얼 정리가 선택 공리를 함축하지 않는다는 것을 증명했다. 그는 내부 모형 이론에 사용되는 모형 L[x]를 발견했다. 또한 집합론 공식의 레비 위계, 레비 붕괴 및 페퍼만-레비 모형의 개념을 도입했다.

3. 주요 저서

* Foundations of set theory^영어, 아브라함 프렝켈, 예호슈아 바르-힐렐과 공저, 1973
* A hierarchy of formulas in set theory^영어, 1965
* Basic set theory^영어, 1979 (2003년에 재출판)
* לוגיקה מתמטית^히브리어, 1985
* לוגיקה מתמטית א׳^히브리어, 1997
* A. 레비, 집합론의 공식 계층, 미국 수학회 회보, 57, 1965.
* J. D. 할펀, A. 레비, 〈부울 소 아이디얼 정리는 선택 공리를 함축하지 않는다〉, 공리적 집합론, 순수 수학 심포지엄, 1971, 83–134.