# metadata.dc.description.abstract[].value
We introduce a family (    )  <   of fast-growing functions based on   0 and use these to define a variant of the Goodstein process. We show that this variant terminates and that this fact is not provable in Kripke–Platek set theory (or other theories of Bachmann–Howard strength). We, moreover, show that this Goodstein process is of maximal length, so that any alternative Goodstein process based on the same fast-growing functions will also terminate.

# metadata.dc.relation.ispartof[].value
Bulletin of the London Mathematical Society, 2024

# metadata.dc.rights[].value
cc by (c) Fernández Duque, David et al., 2024

# metadata.dc.source[].value
Articles publicats en revistes (Filosofia)