[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.)

http://www.math.uu.nl/people/weierman/goodstein.html

Best regards,
Andreas Weiermann




More information about the FOM mailing list