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: |
Pro tento záznam nejsou dostupné žádné jednotky.