Pages that link to "Item:Q4899173"

The following pages link to Reverse mathematics and a Ramsey-type König's Lemma (Q4899173):

Displaying 21 items.

• Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
• Ordinals and graph decompositions (Q508830) (← links)
• Ramsey's theorem and König's lemma (Q866890) (← links)
• Ramsey-type graph coloring and diagonal non-computability (Q892143) (← links)
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
• Pigeons do not jump high (Q2313367) (← links)
• Separating principles below (Q2958212) (← links)
• Graph Coloring and Reverse Mathematics (Q4521128) (← links)
• On the logical strengths of partial solutions to mathematical problems (Q4642696) (← links)
• Reverse mathematics and Ramsey's property for trees (Q4931100) (← links)
• (Q5004961) (← links)
• An inside/outside Ramsey theorem and recursion theory (Q5036108) (← links)
• Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
• A packed Ramsey’s theorem and computability theory (Q5247024) (← links)
• OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS (Q5346692) (← links)
• (Q5711881) (← links)
• Reverse mathematics and Ramsey properties of partial orderings (Q5963196) (← links)
• Primitive recursive reverse mathematics (Q6050165) (← links)
• The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)
• The reverse mathematics of \textsf{CAC for trees} (Q6642882) (← links)