Джек Сильвер

  • Биография Джека Говарда Сильвера

    • Американский математик, специалист по теории множеств и логике. 
    • Родился в Монтане, защитил докторскую диссертацию в Беркли. 
    • Работал в Калифорнийском университете в Беркли с 1967 года. 
  • Научные достижения

    • Доказал теорему о сингулярных кардиналах, опровергающую предположения о противоречивости ZFC. 
    • Ввел понятие основного условия для доказательства теорем с использованием больших кардиналов. 
    • Доказал непротиворечивость гипотезы Чанга и построил модель с определенными свойствами кардиналов. 
    • С помощью серебряных машин получил структурное доказательство леммы Дженсена. 
    • Открыл неразличимые элементы Серебра и обобщил понятие дерева Курепа. 
    • В своей докторской диссертации обнаружил 0# («резкий ноль»). 
  • Избранные публикации

    • Опубликовал ряд работ, включая статьи о теории моделей, влиянии крупных кардиналов на конструктивность и проблеме сингулярных кардиналов. 
  • Рекомендации

    • Ссылки на внешние источники для дополнительной информации о Джеке Сильвере. 

Полный текст статьи:

Джек Сильвер

Оставьте комментарий

Прокрутить вверх