Predicatively unprovable termination of the Ackermannian Goodstein process
Arai, Toshiyasu, Fernández-Duque, David, Wainer, Stanley, Weiermann, AndreasVolume:
148
Journal:
Proceedings of the American Mathematical Society
DOI:
10.1090/proc/14813
Date:
April, 2020
File:
PDF, 286 KB
2020