Abstract
We show that, over the base theory $\textit {RCA}_0$, Stable Ramsey’s Theorem for Pairs implies neither Ramsey’s Theorem for Pairs nor $\Sigma ^0_2$-induction.
Cite
CITATION STYLE
APA
Chong, C. T., Slaman, T. A., & Yang, Y. (2014). The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, 27(3), 863–892. https://doi.org/10.1090/s0894-0347-2014-00789-x
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free