1 citations · 1 across the 13 of their papers we have counts for
1 paper · 2 filters
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…