Фред Гэлвин - Fred Galvin

Фредерик Уильям Гэлвин математик, в настоящее время профессор Канзасский университет. Его исследовательские интересы включают: теория множеств и комбинаторика.

Его выдающаяся комбинаторная работа включает доказательство Гипотеза диница. В теории множеств он доказал Андраш Хайнал что если ℵ_ω1 это сильный предел кардинала, тогда

${\displaystyle 2^{\aleph _{\omega _{1}}}<\aleph _{(2^{\aleph _{1}})^{+}}}$

держит. Исследования по расширению этого результата привели Сахарон Шелах к изобретению Теория ПКФ. Гэлвин дал элементарное доказательство Теорема Баумгартнера – Хайнала ${\displaystyle \omega _{1}\to (\alpha )_{k}^{2}}$ (${\displaystyle \alpha <\omega _{1},k<\omega }$). Оригинальное доказательство Баумгартнер и Хайнал использовал принуждение и абсолютность. Гэлвин и Шелах также доказали соотношение разбиения квадратных скобок ${\displaystyle \aleph _{1}\not \to [\aleph _{1}]_{4}^{2}}$ и ${\displaystyle 2^{\aleph _{0}}\not \to [2^{\aleph _{0}}]_{\aleph _{0}}^{2}}$. Галвин также доказал соотношение разбиения ${\displaystyle \eta \to [\eta ]_{3}^{2}}$ где η обозначает тип заказа множества рациональных чисел.

Гэлвин и Карел Прикры доказал, что каждый Набор Бореля Рэмси. Гэлвин и Komjáth показал, что аксиома выбора эквивалентно утверждению, что каждый график имеет хроматическое число.

Гальвин получил Кандидат наук. в 1967 году из Университет Миннесоты.^[1]

Он изобрел Двойные шахматы в 1957 году и Push Chess в 1967 году.

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

1. Фред Гэлвин на Проект "Математическая генеалогия"