prof. Andreas Weiermann
- ORCID iD
- 0000-0002-5561-5323
Show
Sort by
-
- Journal Article
- open access
Functorial Fast-Growing Hierarchies
-
- Miscellaneous
- open access
Modern perspectives in Proof Theory
-
Some independence results related to finite trees
-
Chapter 7 : Intermediate Goodstein principles
-
Arithmetical and hyperarithmetical worm battles
-
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
-
Connecting with computability
Liesbeth De Mol, Andreas Weiermann (UGent) , Florin Manea and David Fernández-Duque (UGent)