Abstract:In the late 1980s, Abrusci, Girard and van de Wiele defined a variant of Goodstein sequences: the so-called inverse Goodstein sequence. In their work, they show that it terminates precisely at the Bachmann-Howard ordinal. This reveals that a proof of this fact requires substantial consistency strength. Moreover, the authors could show that sequences of this kind terminate even if the hereditary base change at the heart of their construction is replaced by a generalization using arbitrary dilators. It has been a conjecture by Andreas Weiermann that this more general result has a connection to Bachmann-Howard fixed points and is, therefore, equivalent to one of the most famous strong set existence principles from reverse mathematics: $\Pi^1_1$-comprehension. In this article, we prove this conjecture to be correct. Moreover, we show that the ordinal at which such sequences terminate is, in a fundamental way, isomorphic to the $1$-fixed point of their dilator, a new concept introduced by Freund and Rathjen. This yields explicit notation systems and a general method for specifying such ordinals. Also, using the notation systems provided by $1$-fixed points, we can reproduce the result that the Goodstein sequence terminates at the Bachmann-Howard ordinal in a weak system. Additionally, we perform a similar computation for a variant of Goodstein sequences, which terminates at a predicative ordinal.

An extension of the digital method based on $b$-adic integers

The $b$-adic symmetrization of digital nets for quasi-Monte Carlo integration

Digit sums and generating functions

On almost B-summable double sequence spaces

A non-abelian version of Deligne's Fixed Part Theorem

On cyclic numbers and an extension of Midy's theorem

The dispersion of dilated lacunary sequences, with applications in multiplicative Diophantine approximation

A Digital Binomial Theorem for Sheffer Sequences

On simply normal numbers with digit dependencies

The bisequence of approximation coefficients for Gauss-like and Renyi-like maps on the interval

Rational self-affine tiles associated to standard and nonstandard digit systems

The sum of a hybrid arithmetic function over a sparse sequence

On inverse Goodstein sequences

$b$-ary expansions of algebraic numbers

Limits with Signed Digit Streams

Combinatorics on words and generating Dirichlet series of automatic sequences

On the digital representation of integers with bounded prime factors

On arithmetic sums of Cantor-type sequences of integers

On $p$-adic Minkowski's Theorems

Computing base extensions of ordinary abelian varieties over finite fields

Purely periodic continued fractions and graph-directed iterated function systems