Abstract:
We analyze some Goodstein principles which are defined with respect to natural fast growing functions labeled by ordinals not exceeding $\varepsilon_0$. Some, the giant ones, will be proof-theoretic strong whereas others, the illusionary giant ones, will turn out to be comparatively weak although they look strong at first sight.