[FOM] Re: Goodstein sequence is not provable in PA

Andreas Weiermann weiermann at math.uu.nl
Tue Jun 29 12:21:05 EDT 2004

For those who might be interested in the
fine structure classification of Goodstein sequences
and hydra games I prepared a small preprint which resulted
from recent lectures on this topic. (The results are
new but very simple to obtain.)


Best regards,
Andreas Weiermann

More information about the FOM mailing list