TY  - RPRT
TI  - Predicatively unprovable termination of the Ackermannian Goodstein process
AU  - Toshiyasu Arai
AU  - David Fernández-Duque
AU  - Stanley Wainer
AU  - Andreas Weiermann
PY  - 2019
UR  - https://arxiv.org/abs/1906.00020
ID  - 1906.00020
ER  -