WikiDer > Рональд Дженсен
Рональд Дженсен | |
|---|---|
 Профессор Рональд Дженсен читает лекцию во время Первое собрание европейской теории множеств, Бендлево (Польша), Июль 2007 г. | |
| Родившийся | 1 апреля 1936 г. |
| Национальность | Соединенные Штаты |
| Альма-матер | Боннский университет |
| Известен | Теория множеств, математическая логика |
| Научная карьера | |
| Поля | Математик |
| Учреждения | Берлинский университет имени Гумбольдта |
| Докторант | Гисберт Хазенджегер |
| Докторанты | Адриан Матиас Бенедикт Лёве |
Рональд Бьорн Йенсен (родился 1 апреля 1936 г.) Американец математик активен в Европа, прежде всего известный своей работой в математическая логика и теория множеств.
Карьера
Дженсен получил степень бакалавра экономика в Американский университет в 1959 г. и докторскую степень. в математика на Боннский университет в 1964 году. Его руководителем был Гисберт Хазенджегер. Дженсен преподавал в Рокфеллеровский университет, 1969–71, и Калифорнийский университет в Беркли, 1971–73. Остальную часть своей академической карьеры он провел в Европе вБоннский университет, то Университет Осло, то Фрайбургский университет, то Оксфордский университет, а Humboldt-Universität zu Berlin, из которой он вышел на пенсию в 2001 году. Сейчас он проживает в Берлин.
В 2015 году Европейское общество теории множеств наградило его и Джон Р. Стил то Медаль Хаусдорфа за свою статью «К без измеримого».
Полученные результаты
Наиболее известные результаты Дженсена включают:
- Аксиоматическая теория множеств НФУ, вариант Новые основы (NF), где расширенность ослаблена, чтобы позволить несколько наборов без элементов, и доказательство NFU последовательность относительно Арифметика Пеано;
- Теория тонкой структуры конструируемая вселенная L. За эту работу он был награжден в 2003 г. Премия Лероя П. Стила за плодотворный вклад в исследования из Американское математическое общество за его статью 1972 года под названием «Тонкая структура конструктивной иерархии»;
- Определения и доказательства различных бесконечные комбинаторные принципы в L, включая алмаз , квадрат, и болото;
- Теорема Дженсена о покрытии за 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]
Рекомендации
- ^ Митчелл, Уильям Дж. (1983). "Рассмотрение: Кодирование вселенной А. Беллера, Р. Б. Йенсена и П. Велча ". Бык. Амер. Математика. Soc. (Н.С.). 8 (2): 350–353. Дои:10.1090 / s0273-0979-1983-15117-0.
внешняя ссылка
- Дженсена страница на Humboldt-Universität zu Berlin.
- Краткие биографии прошлых президентов Общество Курта Гёделя.
