@misc{indiciaecc879272df34, title = {Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures}, author = {Gabriele Buriola and Andreas Weiermann}, year = {2026}, url = {https://arxiv.org/abs/2511.11297}, note = {Source identifier: 2511.11297} }