@misc{indiciae852677dbc1e2,
  title = {Predicatively unprovable termination of the Ackermannian Goodstein process},
  author = {Toshiyasu Arai and David Fernández-Duque and Stanley Wainer and Andreas Weiermann},
  year = {2019},
  url = {https://arxiv.org/abs/1906.00020},
  note = {Source identifier: 1906.00020}
}