The following pages link to An Unprovable Ramsey-Type Theorem (Q4031465):
Displaying 9 items.
- Phase transition results for three Ramsey-like theorems (Q286698) (← links)
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- Unprovable combinatorial statements (Q1201266) (← links)
- Upper bounds on positional Paris-Harrington games (Q2222955) (← links)
- Independence of Ramsey theorem variants using $\varepsilon _0$ (Q2789881) (← links)
- Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (Q3576063) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)
