A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The metamathematics of Stable Ramsey's Theorem for Pairs
2014
Journal of The American Mathematical Society
Preserved Fulltext
We show that, over the base theory RCA 0 , Stable Ramsey's Theorem for Pairs implies neither Ramsey's Theorem for Pairs nor Σ 0 2 -induction.
doi:10.1090/s0894-0347-2014-00789-x
fatcat:ilxngznhejd5zmqr2qqlcbeafu