The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma
From MaRDI portal
Publication:5004544
DOI10.1090/tran/8339zbMath1486.03021arXiv1912.09049WikidataQ124851687 ScholiaQ124851687MaRDI QIDQ5004544
Yue Yang, Lu Liu, Wei Li, Chi Tat Chong
Publication date: 2 August 2021
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1912.09049
reverse mathematics; weak König's lemma; WKL; weak weak König's lemma; Ramsey's theorem for pairs; WWKL; tree theorem for pairs
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