Intermediate Goodstein Principles

DOI10.1142/9789811245220_0007arXiv2004.09117MaRDI QIDQ6167156

Andreas Weiermann, David Fernández-Duque, Unnamed Author

Publication date: 4 August 2023

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

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$, ${{sfACA}_0}^{\prime }$ and ${sfACA}_0^{+}$, theories of second order arithmetic related to the existence of Turing jumps.

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

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

A walk with Goodstein and Ackermann

This page was built for publication: Intermediate Goodstein Principles