prof. Andreas Weiermann
- ORCID iD
-
0000-0002-5561-5323
Show
Sort by
-
- Journal Article
- A1
- open access
Maximum linearizations of lower sets in N^m with application to monomial ideals
-
- Journal Article
- A1
- open access
Fast Goodstein walks
-
Well partial orders
-
- Journal Article
- A1
- open access
A walk with Goodstein and Ackermann
-
- Journal Article
- A1
- open access
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
-
- Journal Article
- A1
- open access
Functorial fast-growing hierarchies
-
- Journal Article
- A1
- open access
A walk with Goodstein
-
- Miscellaneous
- open access
Modern perspectives in Proof Theory
-
- Journal Article
- A1
- open access
Some independence results related to finite trees
-
Intermediate Goodstein principles