TY  - RPRT
TI  - Reverse mathematics of a uniform Kruskal-Friedman theorem
AU  - Anton Freund
PY  - 2022
DO  - 10.1017/jsl.2025.10089
UR  - https://arxiv.org/abs/2112.08727
ID  - 2112.08727
ER  -