A WALK with GOODSTEIN

2Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

Goodstein's principle is arguably the first purely number-theoretic statement known to be independent of Peano arithmetic. It involves sequences of natural numbers which at first appear to diverge, but eventually decrease to zero. These sequences are defined relative to a notation system based on exponentiation for the natural numbers. In this article, we provide a self-contained and modern analysis of Goodstein's principle, obtaining some variations and improvements. We explore notions of optimality for notation systems and apply them to the classical Goodstein process and to a weaker variant based on multiplication rather than exponentiation. In particular, we introduce the notion of base-change maximality, and show how it leads to far-reaching extensions of Goodstein's result. We moreover show that by varying the initial base of the Goodstein process, one readily obtains independence results for each of the fragments of Peano arithmetic.

Cite

CITATION STYLE

APA

Fernández-Duque, D., & Weiermann, A. (2024). A WALK with GOODSTEIN. Bulletin of Symbolic Logic, 30(1), 1–19. https://doi.org/10.1017/bsl.2024.1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free