로널드 옌센
Ronald Jensen로널드 옌센 | |
---|---|
![]() 로널드 젠슨 교수가 2007년 7월 제1차 유럽 세트 이론 회의(폴란드)에서 강연했다. | |
태어난 | ) 1936년 4월 1일 |
국적 | 미국인(독일에 거주하지만) |
모교 | 본 대학교 |
로 알려져 있다. | 세트 이론, 수학 논리학 |
과학 경력 | |
필드 | 수학자 |
기관 | 베를린 훔볼트 대학교 |
박사학위 자문위원 | 기스베르트 하센재거 |
박사과정 학생 | 아드리안 마티아스 베네딕트 뢰베 |
로널드 비욘 옌센(Ronald Björn Jensen, 1936년 4월 1일 출생)은 수학적 논리와 세트 이론의 연구로 주로 알려진 독일에 사는 미국의 수학자다.
경력
젠슨은 1959년 미국 대학에서 경제학 학사 학위를, 1964년 본 대학에서 수학 박사 학위를 취득했다.그의 상사는 기스베르트 하센재거였다.젠슨은 1969-71년 록펠러 대학교와 1971-73년 버클리 캘리포니아 대학교에서 가르쳤다.그의 학업 경력의 균형은 2001년 은퇴한 본 대학, 오슬로 대학, 프라이부르크 대학, 옥스퍼드 대학, 훔볼트-유니버시테트 주 베를린에서 유럽에서 보내졌다.그는 현재 베를린에 거주하고 있다.
옌센은 1990년 제1회 괴델 강사로 상징논리학협회로부터 영예를 안았다.[1]2015년 유럽 세트 이론 학회는 그와 존 R에게 상을 수여했다. Hausdorff 메달을 그들의 논문 "측정할 수 없는 K"로 강철하십시오.
결과.
젠슨의 더 잘 알려진 결과는 다음과 같다.
- 원소 없이 여러 세트를 허용하도록 확장성이 약화되는 새로운 기초(NF)의 변종인 자명 집합 이론 NFU 및 Peano 산술에 대한 NFU의 일관성 증명
- 시공 가능한 우주 L의 미세구조 이론.이 작품은 2003년에 그가 레로이 P상을 받는 계기가 되었다. "구축 가능한 계층 구조의 미세한 구조"라는 제목의 1972년 논문으로 미국수학협회 연구에 기여한 스틸상
- 다이아몬드 사각형 및 morass를 포함한 L에서 다양한 비위생적 결합 원리의 정의 및 증명
- L에 대한 젠센의 커버 정리;
- 핵심 모델의 일반 이론 및 Dodd-Jensen 핵심 모델의 구성
- CH + Suslin 가설의 일관성.
- 우주를 현실로 코딩하는 기술.
선택한 게시물
기사들
- 로널드 젠슨, 1969년, « Quine의 NF의 미미한(?)의 일관성 수정 », Synthetse 19: 250–263.Quine의 토론으로.doi:10.1007/BF00568059
- 구성 가능한 계층 구조의 미세한 구조, 수학 논리 연보, 제4권, 제3권, 1972년 8월, 페이지 229-308 doi:10.1016/0003-4843(72)90001-0
- 앤서니 도드와 함께:핵심 모델인 수학 논리 연보, 제20권, 1981년, 페이지 43–75. doi:10.1016/0003-4843(81)90011-5
- 앤서니 도드와 함께:K, 수학 논리 연보, 제22권, 1982, 페이지 1-30. 도이:10.1016/0003-4843(82)90013-4.
- 내부 모델과 대형 추기경들기호논리학 제1권 제4호(1995) : 393-407. 도이:10.2307/421129
- 존 R과 함께.강철: 측정할 수 없는 K, 기호 논리학 저널, vol 78, 이슈 3, 2013, 페이지 708–734. doi:10.2178/jsl.7803020
책들
- Modelle der Mengenlehre. Widerspuchsfreiheit und Unsanhangigkeit der Kontinuumshypothese und des Auswahlaxioms.(수학의 강의 노트; 제37권)1967년 베를린 스프링거
- 알렉산더 페스텔 편집자:세트 이론과 모델 이론: 1979년 6월 1일부터 3일까지 본에서 열린 비공식 심포지엄의 진행.베를린; 뉴욕: Springer-Verlag, 1981.
- 아론 벨러, 필립 웰치와 함께: 우주 코딩.케임브리지 대학 출판부, 1982년 케임브리지 대학 출판부, ISBN0-521-28040-0.[2]
참조
- ^ Kechris, Alexander S. (1991). "Annual Meeting of the Association for Symbolic Logic: Berkeley, 1990". The Journal of Symbolic Logic. 56 (1): 361–371. doi:10.2307/2274945. ISSN 0022-4812.
Moreover, the Gödel Lecture, a new feature of the ASL Annual Meetings, was inaugurated this year. The first Gödel lecture was given by Ronald Jensen, who spoke on Inner Models and Large Cardinals.
- ^ Mitchell, William J. (1983). "Review: Coding the universe by A. Beller, R. B. Jensen and P. Welch". Bull. Amer. Math. Soc. (N.S.). 8 (2): 350–353. doi:10.1090/s0273-0979-1983-15117-0.
외부 링크
- 험볼트-유니버니티테트 주 베를린의 젠센 페이지.
- 쿠르트 괴델 협회의 역대 대통령들에 대한 간략한 전기.