[論文レビュー] The strength of Ramsey's theorem for pairs and arbitrarily many colors

Theodore A. Slaman, Keita Yokoyama|arXiv (Cornell University)|Nov 23, 2017

Computability, Logic, AI Algorithms参考文献 2被引用数 3

ひとこと要約

本稿は、2色および任意の色数に対するラムゼーの定理（$\mathrm{RT}^2$）と弱いコーエンの補題（$\mathsf{WKL}_0$）の組み合わせが、$\mathrm{B}\Sigma^0_3$ に対して $\Pi^1_1$-保守的拡張であることを確立し、$\mathrm{RT}^2$ の正確な1階の強度が $\mathrm{B}\Sigma^0_3$ であることを特定した。証明は、$\Delta^B_3$-解を構成する際の洗練されたマチアス強制の変種を用い、$\Sigma^B_3$-定義可能性を保つ。これにより、$\mathrm{RT}^2 + \mathsf{WKL}_0$ が $\mathrm{B}\Sigma^0_3$ によってすでに含意されるもの以外の新しい $\Pi^1_1$ 文を証明しないことが示された。この結果は、以前の保守的結果を精緻化し、$\mathrm{RT}^2$ の1階部分について $\mathrm{B}\Sigma^0_3$ と $\mathrm{I}\Sigma^0_3$ の間のギャップを埋めた。この結果は、$\mathrm{RT}^2$ の1階の強度が正確に $\mathrm{B}\Sigma^0_3$ であることを確認し、逆数学における重要な問いを解決した。

ABSTRACT

In this paper, we show that $\mathrm{RT}^{2}+\mathsf{WKL}_0$ is a $Π^{1}_{1}$-conservative extension of $\mathrm{B}Σ^0_3$.

研究の動機と目的

• ベースシステム $\mathsf{RCA}_0$ 上で、2色および任意の色数に対するラムゼーの定理（$\mathrm{RT}^2$）の正確な1階の強度を特定すること。
• $\mathrm{B}\Sigma^0_3$ と $\mathrm{I}\Sigma^0_3$ の間の既知の境界のギャップを、$\mathrm{RT}^2$ の1階部分について埋めること。
• $\mathrm{RT}^2 + \mathsf{WKL}_0$ が $\mathrm{B}\Sigma^0_3$ に対して $\Pi^1_1$-保守的拡張であることを示し、これにより $\mathrm{B}\Sigma^0_3$ が $\mathrm{RT}^2$ の正確な1階の強度であると特定すること。
• チョラク、ジョックシュシュ、スラマンの強制論の議論を精緻化し、$\mathrm{D}^2$ 成分が $\mathrm{B}\Sigma^0_3$ に対して $\Pi^1_1$-保守的であることを確立すること。

提案手法

• 有限列 $\bar{D}^*$、集合 $Z^*$、関数 $\tau$、および境界 $\ell_0, \ell_1$ を用いて定義される強制条件を用い、左端の拡張戦略を採用することで、共終性を保証するマチアス強制の変種を用いて、$\mathbb{N}$ の $\Delta^B_2$-分割に対する $\Delta^B_3$-解 $G$ を構成する。
• 強制順序の木における左端のパス $p_0 \succ p_1 \succ \cdots$ に沿った再帰的構成により、解集合 $G = \bigcup_{j \in J} F_i^{p_j}$ が無限大かつ $\Delta^B_3$ であることを保証する。
• この構成により、任意の $\Sigma^{B \oplus G}_3$-集合が、元のモデル内で既に $\Sigma^B_3$-定義可能であることが保証され、$\Sigma^B_3$-断片が保存される。
• $\mathsf{WKL}_0$ を用いて強制木における共終パスの存在を保証し、$\mathrm{B}\Sigma^0_3$ を用いて構成における存在的量化子を有界化する。
• 主な技術的ステップは、任意の $\Delta^B_2$-分割に対して、ある $i < k$ に対して $G \subseteq \mathcal{A}_i$ を満たす $\Delta^B_3$-無限大解 $G$ が存在することを示し、$\Sigma^{B \oplus G}_3$-定義可能性と $\Sigma^B_3$-定義可能性が一致することを証明することである。

実験結果

リサーチクエスチョン

• RQ1 2色および任意の色数に対するラムゼーの定理（$\mathrm{RT}^2$）の正確な1階の強度は、$\mathsf{RCA}_0$ 上で何か？
• RQ2 $\mathrm{RT}^2 + \mathsf{WKL}_0$ は、$\mathrm{B}\Sigma^0_3$ によってすでに含意されるもの以外の新しい $\Pi^1_1$ 文を証明するか？
• RQ3 $\mathrm{D}^2$ 成分が、洗練された強制論的議論を用いて $\mathrm{B}\Sigma^0_3$ に対して $\Pi^1_1$-保守的であることを示せるか？
• RQ4 $\mathrm{RT}^2$ の1階部分は $\mathrm{I}\Sigma^0_3$ より厳密に弱いか、それとも $\mathrm{B}\Sigma^0_3$ と一致するか？
• RQ5 $\Delta^B_2$-分割に対する $\Delta^B_3$-解 $G$ を、$\Sigma^{B \oplus G}_3$-定義可能性が保存されるように構成できるか？

主な発見

• 本稿は、$\mathrm{RT}^2 + \mathsf{WKL}_0$ が $\mathrm{B}\Sigma^0_3$ に対して $\Pi^1_1$-保守的拡張であることを確立した。これは、$\mathrm{B}\Sigma^0_3$ によってすでに含意されるもの以外の新しい $\Pi^1_1$ 文が証明されないことを意味する。
• $\mathrm{RT}^2$ の1階の強度は正確に $\mathrm{B}\Sigma^0_3$ であり、それが $\mathrm{B}\Sigma^0_3$ と $\mathrm{I}\Sigma^0_3$ の間にあるかどうかという未解決の問いを解決した。
• 任意の $\Delta^B_2$-分割に対して、$\Sigma^{B \oplus G}_3$-定義可能性と $\Sigma^B_3$-定義可能性が一致する $\Delta^B_3$-無限大解 $G$ を生成する、新しい強制構成が開発された。
• 証明により、$\mathsf{RCA}_0 + \mathrm{D}^2 + \mathrm{B}\Sigma^0_3$ が $\mathrm{B}\Sigma^0_3$ に対して $\Pi^1_1$-保守的であることが示された。これに加え、既知の $\mathrm{COH}$ の結果を組み合わせることで、$\mathrm{RT}^2 + \mathsf{WKL}_0$ の完全な保守的結果が得られた。
• 構成により、解集合 $G$ は無限大かつ $\Delta^B_3$ であり、強制パスはモデル内で共終的である。これは $\mathsf{WKL}_0$ と $\mathrm{B}\Sigma^0_3$ を用いて、定義可能な集合の複雑さを制御することに依存する。
• この結果は、$\mathrm{RT}^2$ が $\mathrm{I}\Sigma^0_3$ を含意しないこと、したがってその1階の強度は $\mathrm{I}\Sigma^0_3$ より厳密に弱いことを確認し、逆数学における長年の問いを解決した。