Фред Гэлвин

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

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

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

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

Гэлвин получил докторскую степень. в 1967 году из Университета Миннесоты .

Он изобрел Doublemove Chess в 1957 году и Push Chess в 1967 году.