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.

Composition inverses of the variations of the Baum-Sweet sequence

Variations on a Generating-Function Theme: Enumerating Compositions with Parts Avoiding an Arithmetic Sequence

The inverse and the composition in the set of formal Laurent series

On inverse Goodstein sequences

Opacity complexity of automatic sequences. The general case

Woon's tree and sums over compositions

Hierarchical Dobinski-type relations via substitution and the moment problem

Conjectures Involving Arithmetical Sequences

On the Enumeration and Asymptotic Analysis of Fibonacci Compositions

Fixed points of Composition Sum Operators

The Inverse Semigroup Theory of Elementary Arithmetic

A Note on Certain Modular Constructions of Pseudorandom Binary Sequences with Composite Moduli

On Frobenius Formulas of Power Sequences

Sequences with Inequalities

On the representation of C-recursive integer sequences by arithmetic terms

Alternating sums of binomial coefficients with unit fraction arithmetic sequence coefficients

On the automaticity of the Hankel determinants of a family of automatic sequences

On a family of arithmetic series related to the Möbius function

Concatenations of Terms of an Arithmetic Progression

Binary compositions and semi-Pell compositions

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)