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

zbMATH Keywords

reverse mathematicsweak König's lemmaWKLweak weak König's lemmaRamsey's theorem for pairsWWKLtree theorem for pairs

Mathematics Subject Classification ID

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)

Milliken’s Tree Theorem and Its Applications: A Computability-Theoretic Perspective

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
• RT₂² does not imply WKL₀
• 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