1 research outputs found

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

    Full text link
    In this paper, we show that RT2+WKL0\mathrm{RT}^{2}+\mathsf{WKL}_0 is a Π11\Pi^{1}_{1}-conservative extension of BΣ30\mathrm{B}\Sigma^0_3.Comment: 9 page
    corecore