Рональд Дженсен - Ronald Jensen

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

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

Карьера

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

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

Полученные результаты

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

• Аксиоматическая теория множеств НФУ, вариант Новые основы (NF), где расширенность ослаблена, чтобы позволить несколько наборов без элементов, и доказательство NFU последовательность относительно Арифметика Пеано;
• Теория тонкой структуры конструируемая вселенная L. За эту работу он был награжден в 2003 г. Премия Лероя П. Стила за плодотворный вклад в исследования из Американское математическое общество за его статью 1972 года под названием «Тонкая структура конструктивной иерархии»;
• Определения и доказательства различных бесконечные комбинаторные принципы в L, включая алмаз ${ displaystyle diamondsuit}$, квадрат, и болото;
• Теорема Дженсена о покрытии за L;
• Общая теория основные модели и строительство Основная модель Додда – Дженсена;
• Консистенция CH plus Гипотеза Суслина.
• Техника выполнения кодирование вселенной реальным.

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

Статьи

• Рональд Дженсен, 1969, «О непротиворечивости небольшой (?) Модификации НФ Куайна», Синтез 19: 250–263. С обсуждением Куайна. Дои:10.1007 / BF00568059
• Тонкая структура конструируемой иерархии, Анналы математической логики, том 4, выпуск 3, август 1972 г., стр. 229–308 Дои:10.1016/0003-4843(72)90001-0
• с Энтони Дж. Доддом: Основная модель, Annals of Mathematical Logic, том 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
• с Джоном Р. Стилом: K без измеримого, Журнал символической логики, том 78, выпуск 3, 2013 г., стр. 708–734. Дои:10.2178 / jsl.7803020

Книги

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

Рекомендации

внешняя ссылка

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