Pages that link to "Item:Q4931100"

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

Displayed 7 items.

• 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 Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma (Q5004544) ‎ (← links)
• Where pigeonhole principles meet Koenig lemmas (Q5158115) ‎ (← links)
• On the computability of perfect subsets of sets with positive measure (Q5233979) ‎ (← links)