  We define a variant of the Goodstein process based on fast-growing functions
and show that it terminates, but this fact is not provable in Kripke-Platek set
theory or other theories of strength the Bachmann-Howard ordinal. 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.
