The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma
DOI10.1090/tran/8339zbMath1486.03021arXiv1912.09049OpenAlexW3135855384WikidataQ124851687 ScholiaQ124851687MaRDI QIDQ5004544
Lu Liu, Yue Yang, 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 mathematicsweak König's lemmaWKLweak weak König's lemmaRamsey's theorem for pairsWWKLtree theorem for pairs
Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- The inductive strength of Ramsey's theorem for pairs
- Coloring subgraphs of the Rado graph
- Ramsey's theorem for trees: the polarized tree theorem and notions of stability
- Edge partitions of the Rado graph
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors
- On the strength of Ramsey's theorem
- On the strength of Ramsey's theorem for trees
- Pigeons do not jump high
- Coloring trees in reverse mathematics
- Measure theory and weak König's lemma
- On the strength of Ramsey's theorem for pairs
- RT22 does not imply WKL0
- Controlling iterated jumps of solutions to combinatorial problems
- THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
- The metamathematics of Stable Ramsey’s Theorem for Pairs
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
- Introduction to Ramsey Spaces (AM-174)
- Iterative forcing and hyperimmunity in reverse mathematics
- Reverse mathematics and Ramsey's property for trees
- A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind
- Cone avoiding closed sets
- Ramsey's theorem and recursion theory
This page was built for publication: The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma