The Ouroboros Goodstein Principle
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.19981
curl -X POST /api/v1/records/arxiv/2603.19981/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.19981/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'