Theodore A. Slaman, Keita Yokoyama
Published 2017-11-23Version 1
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$.
Conservation of Ramsey's theorem for pairs and well-foundedness
$Π^0_4$ conservation of Ramsey's theorem for pairs
Separating principles below Ramsey's Theorem for Pairs
![QR code for arXiv:1711.08704 [math.LO]](http://oss.arxitics.com/images/favicon.svg)