@misc{indiciae51a03d5c4186,
  title = {The uniform Kruskal theorem over RCA\$\_0\$},
  author = {Patrick Uftring},
  year = {2025},
  url = {https://arxiv.org/abs/2502.03978},
  note = {Source identifier: 2502.03978}
}