[論文レビュー] The reverse mathematics of Ramsey-type theorems

Ludovic Patey|arXiv (Cornell University)|Jan 18, 2016

Computability, Logic, AI Algorithms被引用数 8

ひとこと要約

この論文は、逆数学および計算可能還元を用いて、ラムゼー型定理の論理的・計算的強さを調査する。色の数に基づいて、ラムゼーの定理における強さの厳密な階層を確立し、同型性制約のわずかな弱体化が、厳密に異なる部分体系をもたらすことを証明する。これは、ラムゼー型命題の非頑健性を示している。主な結果として、自由集合定理におけるk高純度の強力保存が成立し、RCA₀上でのRT²₂との分離が可能である。

ABSTRACT

In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic study of various Ramsey-type statements under a unified and minimalistic framework and obtain a precise analysis of their interrelations. We clarify the role of the number of colors in Ramsey's theorem. In particular, we show that the hierarchy of Ramsey's theorem induced by the number of colors is strictly increasing over computable reducibility, and exhibit in reverse mathematics an infinite decreasing hiearchy of Ramsey-type theorems by weakening the homogeneity constraints. These results tend to show that the Ramsey-type statements are not robust, that is, slight variations of the statements lead to strictly different subsystems. Finally, we pursuit the analysis of the links between Ramsey's theorems and compacity arguments, by extending Liu's theorem to several Ramsey-type statements and by proving its optimality under various aspects.

研究の動機と目的

• 統一的な枠組みの下で、さまざまなラムゼー型定理の相互関係および相対的強さを体系的に分析すること。
• ラムゼーの定理における色の数の役割を明確にし、色の数の増加が厳密に強い原則をもたらすかどうかを特定すること。
• 同型性制約の弱体化を通じて、ラムゼー型命題の頑健性を調査し、その論理的帰結を評価すること。
• リウのコンパクト性に関する議論を複数のラムゼー型定理に拡張し、その最適性を証明すること。
• 自由集合定理の保存結果を確立し、高純度保存を用いてRT²₂とRCA₀上での分離を達成すること。

提案手法

• ラムゼー型原理の強さを比較するために、計算可能還元およびワイハウチ還元を用いる。
• 効果的フォーシング技術、特にシートパウン型およびCJS型フォーシングを用いて、特定の性質を有する解を構成する。
• マティアス・フォーシングおよび高純度の強力保存を用いて、所望の同型性およびスリムネス条件を満たす無限集合を構築する。
• Gを色の挙動に基づく集合Z_Jに分割することで、f([H]^n)の像のサイズが有界であるような無限集合H ⊆ Gを構成する。
• スリムセット定理がk高純度を強力に保存することを活用し、自由集合定理に対しても類似の保存結果を導出する。
• 自由集合定理が、任意のk ∈ ωに対してk高純度を強力に保存することを証明し、RCA₀上でのRT²₂との分離を可能にする。

実験結果

リサーチクエスチョン

• RQ1 色の数に基づくラムゼーの定理の階層は、計算可能還元の下で厳密に増加する列を形成するか？
• RQ2 ラムゼー型定理における同型性制約のわずかな弱体化が、厳密に異なる論理的部分体系をもたらすか？
• RQ3 ラムゼー型定理は、その記述における小さな変化に対してどの程度頑健か？
• RQ4 自由集合定理は、k高純度の強力保存を有するか？ その逆数学的帰結は何か？
• RQ5 高純度保存技法を用いて、自由集合定理をRCA₀上でのRT²₂と分離できるか？

主な発見

• 色の数に基づくラムゼーの定理の階層は、計算可能還元の下で厳密に増加する。
• ラムゼー型定理における同型性制約の弱体化は、逆数学における無限に減少する階層の原理をもたらす。
• 自由集合定理は、任意のk ∈ ωに対してk高純度の強力保存を有する。
• 自由集合定理はRCA₀上でのRT²₂を含まない。これはチョラクらおよびヒルシュフェルドの問いに否定的に答えている。
• スリムセット定理におけるk高純度の保存が、自由集合定理に対しても類似の保存結果を導出するために用いられる。
• 結果として、ラムゼー型命題は、小さな記述の変更によっても異なる論理的強さをとるため、頑健でないことが示された。