Generalizations of the Kruskal-Friedman theorems (1990)

by L Gordeev
Venue:Journal of Symbolic $L_{\mathfrak{B}^{\dot{i}}}c