Фред Гэлвин

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

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

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 году в Университете Миннесоты . ^[1]

В 1957 году он изобрел двухходовые шахматы , а в 1967 году — пуш-шахматы.

Ссылки

^ Фред Гэлвин в проекте «Генеалогия математики»