The strength of Ramsey's theorem for pairs and arbitrary many colors
Preprint
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$.
Keywords
All Related Versions
This publication has 2 references indexed in Scilit:
- The inductive strength of Ramsey's Theorem for PairsAdvances in Mathematics, 2017
- On the strength of Ramsey's theorem for pairsThe Journal of Symbolic Logic, 2001