The Ouroboros Goodstein Principle

David Fernández-Duque, Milan Morreel, Andreas Weiermann

In arXiv:2508.14768, a variant of Goodstein's original process was recently introduced which, given a set $B\subseteq \mathbb{N}$ of bases, writes each $n\in \mathbb{N}$ in $B$-norm…