Show
Sort by
-
- Journal Article
- A1
- open access
Functorial fast-growing hierarchies
-
Chapter 7 : Intermediate Goodstein principles
-
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
-
Goodstein sequences on a parametrized Ackermann-Peter function
-
Determinate logic and the axiom of choice
-
Predicatively unprovable termination of the Ackermannian Goodstein process
-
- Journal Article
- A2
- open access
On strong normalization in proof-graphs for propositional logic
-
- PhD Thesis
- open access
Connecting the two worlds: well-partial-orders and ordinal notation systems
(2015)