Ackermann and Goodstein go functorial

DOI10.2140/pjm.2021.313.251OpenAlexW3199855912MaRDI QIDQ2234350

Juan P. Aguilera, Andreas Weiermann, Michael Rathjen, Anton Freund

Publication date: 19 October 2021

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2011.03439

zbMATH Keywords

reverse mathematicsAckermann functionnumber representationVeblen hierarchywell-ordering principlesGoodstein's theorem

Mathematics Subject Classification ID

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)

Related Items (2)

Functorial Fast-Growing Hierarchies ⋮ The Π21$\Pi ^1_2$ consequences of a theory

Cites Work

• Unnamed Item
• Reverse mathematics and well-ordering principles: a pilot study
• Reverse mathematics and ordinal exponentiation
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Π12-logic, Part 1: Dilators
• Accessible Independence Results for Peano Arithmetic
• A simplified functorial construction of the veblen hierarchy
• PREDICATIVE COLLAPSING PRINCIPLES
• Predicatively unprovable termination of the Ackermannian Goodstein process
• Computable aspects of the Bachmann–Howard principle
• Ordinal Analysis with an Introduction to Proof Theory
• Goodstein’s Theorem Revisited
• Systems of predicative analysis, II: Representations of ordinals
• On the restricted ordinal theorem
• The consistency of arithmetics

This page was built for publication: Ackermann and Goodstein go functorial