[FOM] Goodstein's Theorem

[Andrej Bauer]

On Sun, Mar 22, 2009 at 1:40 AM, Martin Davis <martin at eipye.com> wrote:
> The link to Justin Miller's paper on Goodstein's Theorem
> (http://www.u.arizona.edu/~miller/./thesis/thesis.ps) is broken.  Is
> it available somewhere else?

Is this what you are looking for?

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.72.8407&rep=rep1&type=pdf

Hint: go to schoolar.google.com and enter "Justin Miller Goodstein".

Best regarards,

Andrej