Intermediate Goodstein Principles

DOI10.1142/9789811245220_0007MaRDI QIDQ6167156zbMATH OpenFDO

Authors David Fernández-Duque, Andreas Weiermann

Publication date 4 August 2023

Published in Mathematics for Computation (M4C) (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: The original Goodstein process proceeds by writing natural numbers in nested exponential $k$-normal form, then successively raising the base to $k+1$ and subtracting one from the end result. Such sequences always reach zero, but this fact is unprovable in Peano arithmetic. In this paper we instead consider notations for natural numbers based on the Ackermann function. We define three new Goodstein processes, obtaining new independence results for ${sfACA}_0$, ${s^{\prime }fACA}_0$ and ${sfACA}_0^{+}$, theories of second order arithmetic related to the existence of Turing jumps.

Recommendations

• Ackermannian Goodstein sequences of intermediate growth
• Predicatively unprovable termination of the Ackermannian Goodstein process
• Ackermannian Goodstein principles for first order Peano arithmetic
• Ackermann and Goodstein go functorial
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION

Cited in

(3)

• Ackermannian Goodstein sequences of intermediate growth
• Ackermann and Goodstein go functorial
• A walk with Goodstein and Ackermann

This page was built for publication: Intermediate Goodstein Principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6167156)