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

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

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

Карьера

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

Йенсен был удостоен награды Ассоциации символической логики как первый лектор Гёделя в 1990 году. В 2015 году Европейское общество теории множеств наградило его и Джона Р. Стила медалью Хаусдорфа за их статью «К без измеримого».

Результаты

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

• Аксиоматическая теория множеств NFU , вариант Новых Основ (NF), где экстенсиональность ослаблена, чтобы допустить несколько множеств без элементов, и доказательство непротиворечивости NFU относительно арифметики Пеано ;
• Теория тонкой структуры конструируемой Вселенной Л . Эта работа привела к тому, что в 2003 году он был награжден премией Лероя П. Стила за выдающийся вклад в исследования Американского математического общества за его статью 1972 года под названием «Тонкая структура конструктивной иерархии»;
• Определения и доказательства различных бесконечных комбинаторных принципов в L , включая алмаз. $\diamondsuit$, квадрат и болото ;
• Теорема Йенсена о покрытии для L ;
• Общая теория основных моделей и построение основной модели Додда–Йенсена ;
• Согласованность гипотезы континуума плюс гипотезы Суслина .
• Техника кодирования Вселенной реальным .

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

Статьи

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

Книги

• Модели теории множеств. Непротиворечивость и независимость гипотезы континуума и аксиомы выбора. (Конспект лекций по математике; т. 37). Шпрингер, Берлин, 1967 г.
• в качестве редактора вместе с Александром Пестелем: Теория множеств и теория моделей: материалы неформального симпозиума, состоявшегося в Бонне, 1–3 июня 1979 г., Берлин; Нью-Йорк: Springer-Verlag, 1981.
• с Аароном Беллером и Филипом Уэлчем: Кодирование Вселенной. Издательство Кембриджского университета, Кембридж, 1982 г., ISBN   0-521-28040-0 .

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

• Йенсена Страница в Берлинском университете имени Гумбольдта .
• Краткие биографии бывших президентов Общества Курта Гёделя .