@misc{indiciaecabcf55507b5,
  title = {Reverse mathematics of a uniform Kruskal-Friedman theorem},
  author = {Anton Freund},
  year = {2022},
  doi = {10.1017/jsl.2025.10089},
  url = {https://arxiv.org/abs/2112.08727},
  note = {Source identifier: 2112.08727}
}