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

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

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

${ Displaystyle 2 ^ { Алеф _ { омега _ {1}}} < Алеф _ {(2 ^ { Алеф _ {1}}) ^ {+}}}$

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

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

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

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

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

Эта статья об американском математике - заглушка. Вы можете помочь Википедии расширяя это.