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

Abstract

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

arXiv comment9 pages