The inductive strength of Ramsey's theorem for pairs

DOI10.1016/j.aim.2016.11.036zbMath1423.03047MaRDI QIDQ507201

Theodore A. Slaman, Yue Yang, Chi Tat Chong

Publication date: 3 February 2017

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2016.11.036

zbMATH Keywords

reverse mathematics; Ramsey's theorem for pairs; \(\mathrm{RCA}_0\); \(\operatorname{\Sigma}_2^0\)-bounding; stable Ramsey's theorem for pairs

Mathematics Subject Classification ID

03B30: Foundations of classical theories (including reverse mathematics)

05D10: Ramsey theory

03D80: Applications of computability and recursion theory

03F35: Second- and higher-order arithmetic and fragments