Generalizations of the one-dimensional version of the Kruskal-Friedman theorems (1989)

by L Gordeev
Venue:Journal of Symbolic Logic