{"id":"arxiv/2608.04773","url":"https://arxiv.org/abs/2608.04773","tags":["math.LO"],"score":0,"title":"A Walk with Goodstein and Ackermann","domain":"math.LO","source":"arxiv","authors":["David Fernández-Duque","Andreas Weiermann"],"reviews":0,"subject":"math.LO","summary":"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 prototypical example of a proof of termination by transfinite induction. A variant based instead on the Ackermann function has more recently been proposed by Arai et al., and instead is independent of the more powerful theory ${\\sf ATR}_0$. However, this result is contingent on rather elaborate normal forms for natural numbers based on a `sandwiching' procedure. This leaves open both the question of whether the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-05","reactions":{}}