The strength of Ramsey's theorem for pairs and arbitrarily many colors

arxiv: 1711.08704 · v2 · pith:SFTB24XAnew · submitted 2017-11-23 · 🧮 math.LO

Theodore A. Slaman , Keita Yokoyama This is my paper

classification 🧮 math.LO

keywords mathrmarbitrarilycolorsconservativeextensionmanymathsfpairs

0 comments

read the original abstract

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

This paper has not been read by Pith yet.