Pages that link to "Item:Q4899173"
From MaRDI portal
The following pages link to Reverse mathematics and a Ramsey-type König's Lemma (Q4899173):
Displayed 12 items.
- Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
- Ordinals and graph decompositions (Q508830) (← 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)
- On the logical strengths of partial solutions to mathematical problems (Q4642696) (← 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)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)