@misc{indiciaee86780b7a2b3,
  title = {The uniform Kruskal theorem: between finite combinatorics and strong set existence},
  author = {Anton Freund and Patrick Uftring},
  year = {2022},
  url = {https://arxiv.org/abs/2208.00209},
  note = {Source identifier: 2208.00209}
}