Ackermann and Goodstein go functorial
From MaRDI portal
Publication:6353157
DOI10.2140/pjm.2021.313.251arXiv2011.03439MaRDI QIDQ6353157
Andreas Weiermann, Anton Freund, Juan P. Aguilera, Michael Rathjen
Publication date: 6 November 2020
Foundations of classical theories (including reverse mathematics) (03B30) Other number representations (11A67) Recursive ordinals and ordinal notations (03F15) Gödel numberings and issues of incompleteness (03F40)