Slow growing functionはまだこのスレに出てきてないぽいので紹介しときます。

G[0](x)=0
G[α+1](x)=G[α](x)+1
G[α](x)=G[α_x](x)　（αが極限順序数のとき）

_____________________________________________________________________________________
Stan S. Wainer, "Slow growing versus fast growing",
J. Symbolic Logic 54 (1989), 608-614 によれば、
Wainerは、Wainer（1972）の傍白として、Slow growing functionがΓ_0レベルで
fast growing function(ここではF[α]のこと)に追いつくと言いました。
しかし、1981年にJ.-Y. Girardによって、それが追いつく最初の場所がこれをずっと
越えていることが後で示されました。(実際は、Slow growing functionのHoward順序数レベルは、
fast growing functionのまさにε_0レベルです。)現在の新聞では、WainerはGirardの結果の
簡略化された証明とそれのいくらかの一般化をします。
_____________________________________________________________________________________