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