1 paper · 1 filter
David Fernández-Duque, Andreas Weiermann
The original Goodstein process is based on writing numbers in hereditary b-exponential normal form: that is, each number n is written in some base b≥2 as n=bea+r, with…