Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic strengths of these facts are calibrated by means of ordinal assignments, yielding independence results for a range of theories: PRA, PA, $\Sigma ^1_1$ -DC $_0$ , ATR $_0$ , up to ID $_1$ . The key is the so-called “Hardy hierarchy” of proof-theoretic bounding finctions, providing a uniform method for associating Goodstein-type sequences with parameterized normal form representations of positive integers.

We determine the proof-theoretic ordinals (i) of ${\cal C} - {\bf{TI}}[\alpha ]$, the transfinite induction along α, for any hyperarithmetical level ${\cal C}$, in the first order setting and (ii) of any combination of iterated arithmetical comprehension and ${\cal C} - {\bf{TI}}[\alpha ]$ for ${\cal C}\, \equiv \,{\rm{\Pi }}_k^i ,{\rm{\Sigma }}_k^i$ ($i\, = \,0,1$) in the second order setting.