TY  - RPRT
TI  - Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
AU  - Gabriele Buriola
AU  - Andreas Weiermann
PY  - 2026
UR  - https://arxiv.org/abs/2511.11297
ID  - 2511.11297
ER  -