The Strength Of Ramseys Theorem For Pairs And Arbitrarily Many Colors
Work
Year: 2018
Type: article
Abstract: In this article, we will show that ${\rm{R}}{{\rm{T}}^2} + WK{L_0}$ is a ${\rm{\Pi }}_1^1$ -conservative extension of ${\rm{B\Sigma }}_3^0$ .
Source: Journal of Symbolic Logic
Authors Theodore A. Slaman, Keita Yokoyama
Cites: 4
Cited by: 5
Related to: 10
FWCI: 0.346
Citation percentile (by year/subfield): 66.93
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green