The uniform Kruskal theorem: between finite combinatorics and strong set existence

Anton Freund, Patrick Uftring

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to ${\Pi }_1^1$-c…