Pages that link to "Item:Q4931100"

The following pages link to Reverse mathematics and Ramsey's property for trees (Q4931100):

Displaying 20 items.

• Reverse mathematics and initial intervals (Q386152) (← links)
• Effectiveness for infinite variable words and the dual Ramsey theorem (Q701747) (← links)
• Ramsey's theorem and König's lemma (Q866890) (← links)
• Ramsey's theorem for trees: the polarized tree theorem and notions of stability (Q964459) (← links)
• \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
• Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees (Q2155503) (← links)
• On the strength of Ramsey's theorem for trees (Q2182273) (← links)
• Coloring trees in reverse mathematics (Q2401697) (← links)
• Nonstandard models in recursion theory and reverse mathematics (Q2925331) (← links)
• THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS (Q2976343) (← links)
• Reverse mathematics and infinite traceable graphs (Q3117776) (← links)
• Reverse mathematics, computability, and partitions of trees (Q3616350) (← links)
• (Q4007094) (← links)
• The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma (Q5004544) (← links)
• (Q5004961) (← links)
• Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)
• Where pigeonhole principles meet Koenig lemmas (Q5158115) (← links)
• On the computability of perfect subsets of sets with positive measure (Q5233979) (← links)
• Reverse mathematics and Ramsey properties of partial orderings (Q5963196) (← links)
• Conservation strength of the infinite pigeonhole principle for trees (Q6561666) (← links)