フレッド・ガルビン

フレデリック・ウィリアム・ガルビンは数学者であり、現在はカンザス大学の教授です。彼の研究対象には集合論と組合せ論が含まれます。

彼の注目すべき組合せ論的研究には、ディニッツ予想の証明が含まれる。集合論では、アンドラーシュ・ハジナルとともに、ℵ _{ω 1}が強極限基数である場合、

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

が成り立つ。この結果を拡張する研究により、サハロン・シェラはPCF 理論を発明した。ガルビンはバウムガルトナー-ハイナル定理( ) の初等的な証明を与えた。バウムガルトナーとハイナルによる最初の証明では、強制性と絶対性を使用していた。ガルビンとシェラは、角括弧の分割関係とも証明した。ガルビンは、 η が有理数集合の順序型を表す分割関係も証明した。ガルビンとカレル・プリクリーは、すべてのボレル集合がラムゼー集合であることを証明した。ガルビンとコムヤスは、選択公理がすべてのグラフに彩色数 が存在するという命題と同等であることを示した。 ${\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}}$

ガルビンは1967年にミネソタ大学で博士号を取得した。^[1]

彼は1957 年にダブルムーブ チェスを、1967 年にプッシュ チェスを発明しました。