Оглавление
Джек Сильвер
-
Биография Джека Говарда Сильвера
- Американский математик, специалист по теории множеств и логике.
- Родился в Монтане, защитил докторскую диссертацию в Беркли.
- Работал в Калифорнийском университете в Беркли с 1967 года.
-
Научные достижения
- Доказал теорему о сингулярных кардиналах, опровергающую предположения о противоречивости ZFC.
- Ввел понятие основного условия для доказательства теорем с использованием больших кардиналов.
- Доказал непротиворечивость гипотезы Чанга и построил модель с определенными свойствами кардиналов.
- С помощью серебряных машин получил структурное доказательство леммы Дженсена.
- Открыл неразличимые элементы Серебра и обобщил понятие дерева Курепа.
- В своей докторской диссертации обнаружил 0# (“резкий ноль”).
-
Избранные публикации
- Опубликовал ряд работ, включая статьи о теории моделей, влиянии крупных кардиналов на конструктивность и проблеме сингулярных кардиналов.
-
Рекомендации
- Ссылки на внешние источники для дополнительной информации о Джеке Сильвере.