The following pages link to (Q3375872):
Displaying 6 items.
- Exact unprovability results for compound well-quasi-ordered combinatorial classes (Q1006603) (← links)
- Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006. (Q1046964) (← links)
- Unprovable combinatorial statements (Q1201266) (← links)
- Combinatorial Expressions and Lower Bounds. (Q2955000) (← links)
- Large Numbers and Unprovable Theorems (Q3325721) (← links)
- Reflections on Concrete Incompleteness (Q4919636) (← links)