ロナルド・ジェンセン

ロナルド・ジェンセン
2007年に講演するジェンセン
生まれる	( 1936-04-01 )1936年4月1日（88歳）
国籍	アメリカ人
母校	ボン大学
知られている	集合論、数理論理学
科学者としてのキャリア
フィールド	数学者
機関	ベルリン・フンボルト大学
博士課程の指導教員	ギスベルト・ハゼンイェーガー
博士課程の学生	エイドリアン・マティアス・ ベネディクト・レーヴェ

ロナルド・ビョルン・イェンセン（1936年4月1日生まれ）は、ドイツ在住のアメリカの数学者であり、主に数理論理学と集合論の研究で知られています。

イェンセンは1959年にアメリカン大学で経済学の学士号、1964年にボン大学で数学の博士号を取得した。指導教官はギスベルト・ハーゼンイェーガー。イェンセンは1969年から1971年までロックフェラー大学で、1971年から1973年までカリフォルニア大学バークレー校で教鞭を執った。その後の研究生活はヨーロッパ のボン大学、オスロ大学、フライブルク大学、オックスフォード大学、ベルリン・フンボルト大学で過ごし、2001年にベルリン・フンボルト大学を退職。現在はベルリンに住んでいる。

ジェンセンは1990年に記号論理学協会から最初のゲーデル講師として表彰された。^[1] 2015年に、ヨーロッパ集合論協会は彼とジョン・R・スティールに論文「測定不能なK」に対してハウスドルフ賞を授与した。

ジェンセンのよく知られた成果には次のようなものがあります。

• 公理的集合論 NFU 、拡張性が弱められて要素のない集合が複数可能となるNew Foundations (NF)の変種、およびペアノ算術に対するNFU の一貫性の証明。
• 構築可能な宇宙 の微細構造理論L。この研究により、1972 年の論文「構築可能な階層の微細構造」に対して、 2003 年にアメリカ数学会の顕著な研究貢献に対してリロイ P. スティール賞が授与されました。
• ダイヤモンド、スクエア、モラスを含むLにおけるさまざまな無限組み合わせ原理の定義と証明。 ${\displaystyle \diamondsuit}$
• Lに対するJensen の被覆定理;
• コアモデルの一般理論とドッド・ジェンセン・コアモデルの構築。
• 連続体仮説とサスリンの仮説の一貫性。
• 宇宙を現実でコード化する技術。

• ロナルド・ジェンセン、1969、「クワインのNFのわずかな（？）修正の一貫性について」、Synthese 19：250-263。クワインの議論あり。doi ： 10.1007/BF00568059
• 構成可能な階層の微細構造、Annals of Mathematical Logic、第4巻、第3号、1972年8月、pp. 229–308 doi :10.1016/0003-4843(72)90001-0
• アンソニー・J・ドッドとの共著：コアモデル、Annals of Mathematical Logic、vol 20、1981年、pp. 43–75。doi : 10.1016/0003-4843(81)90011-5
• アンソニー・J・ドッドとの共著：Kの被覆補題、Annals of Mathematical Logic、vol 22、1982年、pp. 1–30。doi :10.1016 / 0003-4843(82)90013-4
• 内部モデルと大きな基数。Bulletin of Symbolic Logic vol 1、Issue 4 (1995): 393-407。doi :10.2307 / 421129
• ジョン・R・スティールとの共著：測定可能なもののないK、The Journal of Symbolic Logic、第78巻、第3号、2013年、708～734ページ。doi ：10.2178/ jsl.7803020

• メンゲンレーレのモデル。 Widerspruchsfreiheit と Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms。（数学講義ノート; vol. 37）。シュプリンガー、ベルリン、1967年。
• アレクサンダー・ペステルとの共編著：集合論とモデル理論：1979年6月1日～3日にボンで開催された非公式シンポジウムの議事録。ベルリン、ニューヨーク：シュプリンガー・フェアラーク、1981年。
• アーロン・ベラー、フィリップ・ウェルチ共著：Coding the Universe。ケンブリッジ大学出版局、ケンブリッジ、1982年、ISBN 0-521-28040-0。^[2] 

• ベルリンのフンボルト大学の Jensen のページ。
• クルト・ゲーデル協会の歴代会長の略歴。