The following pages link to (Q3772200):
Displaying 14 items.
- Unprovability threshold for the planar graph minor theorem (Q638483) (← links)
- Exact unprovability results for compound well-quasi-ordered combinatorial classes (Q1006603) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- Unprovable combinatorial statements (Q1201266) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- On the (un)decidability of a near-unanimity term (Q2474099) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Untestable Properties in the Kahr-Moore-Wang Class (Q3003359) (← links)
- (Q3830980) (← links)
- An Unprovable Ramsey-Type Theorem (Q4031465) (← links)
- An application of graphical enumeration to PA * (Q4457723) (← links)
- (Q4896519) (← links)
- (Q5441071) (← links)
- Well partial orders (Q6612816) (← links)