arXiv Open Access 2017

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

Theodore A. Slaman Keita Yokoyama

Lihat Sumber

Abstrak

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

math.LO

Theodore A. Slaman

Keita Yokoyama

APA MLA BibTeX

Slaman, T.A., Yokoyama, K. (2017). The strength of Ramsey's theorem for pairs and arbitrarily many colors. https://arxiv.org/abs/1711.08704

Lihat di Sumber

Informasi Jurnal