Generalizations of the one-dimensional version of the Kruskal-Friedman theorems
Lew Gordeev · Journal of Symbolic Logic · 1989
The paper [Schütte + Simpson] deals with the following one-dimensional case of Friedman's extension (see in [Simpson 1]) of Kruskal's theorem ([Kruskal]). Given a natural number n, let Sn+1 be the set of all finite sequences of natural numbers bf(i+1), for all i 0 instead of n + 1 and try to obtain an analogous “strong” combinatory statement about finite sequences of ordinals < τ.