Введение
Американский математик (род. 1936)
Рональд Бьёрн Дженсен (род. 1 апреля 1936 года) — американский математик, проживающий в Германии, наиболее известный своими работами в области математической логики и теории множеств.
Карьера
Дженсен получил степень бакалавра экономики в Американском университете в 1959 году и степень доктора философии по математике в Боннском университете в 1964 году. Его научным руководителем был Гисберт Хасенджегер. Дженсен преподавал в Рокфеллеровском университете в 1969–1971 годах и в Калифорнийском университете в Беркли в 1971–1973 годах. Основную часть своей академической карьеры он провел в Европе: в Боннском университете, Университете Осло, Университете Фрайбурга, Оксфордском университете и Гумбольдтском университете в Берлине, откуда он вышел на пенсию в 2001 году. В настоящее время он проживает в Берлине. В 1990 году Ассоциация символической логики удостоила Дженсена чести стать первым лектором имени Гёделя. В 2015 году Европейское общество теории множеств наградило его и Джона Р. Стила медалью Хаусдорфа за их статью "K без измеримости".
University of Bonn, the University of Oslo, the University of Freiburg, the University of Oxford, and the Humboldt Universität zu Berlin, from which he retired in 2001. He now resides in Berlin. Jensen was honored by the Association for Symbolic Logic as the first Gödel Lecturer in 1990. In 2015, the European Set Theory Society awarded him and John R. Steel the Hausdorff Medal for their paper "K without the measurable".
Статьи
Рональд Дженсен, 1969, «О непротиворечивости незначительной (?) модификации NF Куайна», Synthese 19: 250–263. С обсуждением Куайна. Тонкая структура конструктивной иерархии, "Анналы математической логики", том 4, выпуск 3, август 1972, с. 229–308.
С Энтони Дж. Доддом: Основная модель, "Анналы математической логики", том 20, 1981, с. 43–75. С Энтони Дж. Доддом: Лемма о покрытии для K, "Анналы математической логики", том 22, 1982, с. 1–30. Внутренние модели и большие кардиналы. "Бюллетень символической логики", том 1, выпуск 4 (1995): 393–407.
С Джоном Р. Стил: K без измеримости, "The Journal of Symbolic Logic", том 78, выпуск 3, 2013, с. 708–734.
with Anthony J. Dodd: The core model, Annals of Mathematical Logic, vol 20, 1981, pp. 43–75. with Anthony J. Dodd: The covering lemma for K, Annals of Mathematical Logic, vol 22, 1982, pp. 1–30. Inner models and large cardinals. Bulletin of Symbolic Logic vol 1, Issue 4 (1995): 393 407.
with John R. Steel: K without the measurable, The Journal of Symbolic Logic, vol 78, Issue 3, 2013, pp. 708–734.