The following pages link to Separating principles below (Q2958212):
Displaying 6 items.
- Ramsey-type graph coloring and diagonal non-computability (Q892143) (← links)
- Dominating the Erdős-Moser theorem in reverse mathematics (Q2400499) (← links)
- Iterative Forcing and Hyperimmunity in Reverse Mathematics (Q3195708) (← links)
- On the logical strengths of partial solutions to mathematical problems (Q4642696) (← links)
- Reverse mathematics and a Ramsey-type König's Lemma (Q4899173) (← links)
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)