Ordinal arithmetic
Exact page not found, but we found similar results:
TREE(3)
Gallier, Jean H. (1991), What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory (PDF), Ann. Pure Appl. Logic...
Теорема Гудстейна
restricted ordinal theorem, Journal of Symbolic Logic, 9: 33—41 Kirby, L.; Paris, J. (1982), Accessible independence results for Peano arithmetic (PDF), Bulletin...