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