Фред Гэлвин

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

Его выдающаяся комбинаторная работа включает доказательство гипотезы Диница . В теории множеств он вместе с Андрашом Хайналом доказал, что если ℵ _{ω 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}}$эквивалентно утверждению, что каждый граф имеет хроматическое число .

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

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

Ссылки [ править ]

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

• v
• т
• е