Showing 2026Show all
2 papers · 1 filter
math.LO2026
A Walk with Goodstein and Ackermann
David Fernández-Duque, Andreas Weiermann
Goodstein's theorem states that a certain sequences based on exponential notation for the natural numbers are always finite. The result is independent of Peano arithmetic and is a…
math.LO2026
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 of bases, writes each in -norm…