The fractal Goodstein principle

The original Goodstein process is based on writing numbers in hereditary $b$-exponential normal form: that is, each number $n$ is written in some base $b\geq 2$ as $n=b^ea+r$, with $e$ and $r$ iteratively being written in hereditary $b$-exponential normal form. We define a new process which generalises the original by writing expressions in terms of a hierarchy of bases $B$, instead of a single base $b$. In particular, the `digit' $a$ may itself be written with respect to a smaller base $b'$. We show that this new process always terminates, but termination is independent of Kripke-Platek set theory, or other theories of Bachmann-Howard strength.