Predicatively unprovable termination of the Ackermannian Goodstein process

Toshiyasu Arai, David Fernández-Duque, Stanley Wainer +1

The classical Goodstein process gives rise to long but finite sequences of natural numbers whose termination is not provable in Peano arithmetic. In this manuscript we consider a v…