Show
Sort by
-
Minimal bad sequences are necessary for a uniform Kruskal theorem
-
- Journal Article
- A1
- open access
Boundedness theorems for flowers and sharps
-
- Journal Article
- A1
- open access
Ackermann and Goodstein go functorial
-
An order-theoretic characterization of the Howard-Bachmann-hierarchy
-
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
-
Well-partial-orderings and the big Veblen number
-
Slow consistency
-
- Conference Paper
- C1
- open access
Some results on PA-provably recursive functions
-
- Conference Paper
- C1
- open access
Reverse mathematics and well-ordering principles