On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
From MaRDI portal
Publication:3550582
DOI10.1090/S0002-9939-09-10115-6zbMath1195.03015MaRDI QIDQ3550582
Yue Yang, Steffen Lempp, Chi Tat Chong
Publication date: 31 March 2010
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
reverse mathematics; linear order; Ramsey's Theorem; \(\Sigma^0_2\)-bounding; bi-tame cut; polarized Ramsey's Theorem; tame cut
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments