{"id":"arxiv/2603.19981","url":"https://arxiv.org/abs/2603.19981","tags":["math.LO"],"score":0,"title":"The Ouroboros Goodstein Principle","domain":"math.LO","source":"arxiv","authors":["David Fernández-Duque","Milan Morreel","Andreas Weiermann"],"reviews":0,"subject":"math.LO","summary":"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$-normal form, namely $n=b^ea+r$, where $b\\in B$ the greatest base below $n$. The numbers $e$ and $r$ are then recursively written in $B$-normal form, and finally each base of $B$ is replaced by a corresponding base of some other set $C\\subseteq \\mathbb{N}$. The resulting process was shown to terminate and to be independent of $\\mathsf{KP}$, but the proofs relied on two different ordinal assignments: one monotone but not…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}