< Back to previous page

Publication

Predicatively unprovable termination of the Ackermannian Goodstein process

Journal Contribution - Journal Article

Journal: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

ISSN: 1088-6826

Volume: 148

Pages: 3567 - 3582

Publication year:2020

WoS Id: 000541456100032
Handle: http://hdl.handle.net/1854/LU-8660685
DOI: https://doi.org/10.1090/proc/14813

Accessibility:Closed