Рональд Дженсен

Рональд Дженсен
Проф. Рональд Дженсен читает лекцию на Первом собрании европейской теории множеств, Бендлево (Польша ), июль 2007 г.
Родился	(1936-04-01) 1 апреля 1936 г. (возраст 84 года))
Национальность	США
Alma mater	Боннский университет
Известен	теорией множеств, математической логикой
Научная карьера
Поля	Математик
Учреждения	Берлинский университет Гумбольдта
Советник докторантуры	Гисберт Хазенджегер
Докторанты	Адриан Матиас. Бенедикт Лёве

Рональд Бьёрн Йенсен (родился 1 апреля 1936 г.) - американский математик, работающий в Европе, в первую очередь известный своими работами в области математической логики и множества. теория.

Содержание

• 1 Карьера
• 2 Результаты
• 3 Избранные публикации
  • 3.1 Статьи
  • 3.2 Книги
• 4 Ссылки
• 5 Внешние ссылки

Карьера

Дженсен получил степень бакалавра экономики в Американском университете в 1959 году и степень доктора философии. в математике в Боннском университете в 1964 году. Его научным руководителем был Гисберт Хасенджегер. Дженсен преподавал в Университете Рокфеллера, 1969–71, и Калифорнийском университете, Беркли, 1971–73. Остальную часть своей академической карьеры он провел в Европе в университете Бонна, университете Осло, университете Фрайбурга, университете Оксфорд и Humboldt-Universität zu Berlin, из которого он ушел на пенсию в 2001 году. Сейчас он проживает в Берлине.

. В 2015 году Европейское общество теории множеств наградило его и Джон Р. Стил медаль Хаусдорфа за свою статью «К без измеримого».

Результаты

Наиболее известные результаты Дженсена включают:

• Теорию аксиоматических множеств NFU, вариант New Foundations ( NF), где расширяемость ослаблена, чтобы позволить несколько наборов без элементов, и доказательство согласованности NFU относительно арифметики Пеано ;
• Теория тонкой структуры конструируемой вселенной L. Эта работа привела к тому, что в 2003 году он был награжден премией Лероя П. Стила за выдающийся вклад в исследования Американского математического общества за его статью 1972 года, озаглавленную «Тонкая структура конструируемой иерархии. ";
• Определения и доказательства различных бесконечных комбинаторных принципов в L, включая diamond $♢\; \{\backslash \; displaystyle\; \backslash \; diamondsuit\}$, квадрат и болота ;
• теорема Дженсена о покрытии для L;
• Общая теория основных моделей и построение;
• согласованности CH плюс гипотеза Суслина.
• Техника.

Избранные публикации

Статьи

• Рональд Дженсен, 1969, «О непротиворечивости небольшой (?) Модификации НФ Куайна», Synthese 19: 250–263. С обсуждением Куайна. doi : 10.1007 / BF00568059
• Тонкая структура конструируемой иерархии, Annals of Mathematical Logic, vol 4, Issue 3, August 1972, pp. 229–308 doi : 10.1016 / 0003-4843 (72) 90001-0
• с Энтони Дж. Доддом: основная модель, Annals of Mathematical Logic, том 20, 1981, стр. 43–75. doi : 10.1016 / 0003-4843 (81) 90011-5
• с Энтони Дж. Доддом: лемма о покрытии для K, Annals of Mathematical Logic, vol 22, 1982, pp. 1 –30. doi : 10.1016 / 0003-4843 (82) 90013-4
• Внутренние модели и большие кардиналы. Бюллетень символической логики, том 1, выпуск 4 (1995): 393-407. doi : 10.2307 / 421129
• с Джоном Р. Стилом: K без измеримого, Журнал символической логики, том 78, выпуск 3, 2013 г., стр. 708–734. doi : 10.2178 / jsl.7803020

Книги

• Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Конспект лекций по математике; т. 37). Springer, Berlin 1967.
• в качестве редактора с Александром Пестелем: Теория множеств и теория моделей: материалы неофициального симпозиума, состоявшегося в Бонне, 1–3 июня 1979 г., Берлин; Нью-Йорк: Springer-Verlag, 1981.
• с Аароном Беллером и Филипом Велчем: Кодирование Вселенной. Cambridge University Press, Cambridge 1982, ISBN 0 -521-28040-0.

Источники

Внешние ссылки

• страница Йенсена на Humboldt-Universität zu Berlin.
• Краткие биографии прошлых президентов из Общества Курта Гёделя.