The strength of Ramsey's theorem for pairs and arbitrarily many colors
| Autor: | Slaman, Theodore A., Yokoyama, Keita |
|---|---|
| Rok vydání: | 2017 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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$. Comment: 9 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|