TY  - RPRT
TI  - The uniform Kruskal theorem over RCA$_0$
AU  - Patrick Uftring
PY  - 2025
UR  - https://arxiv.org/abs/2502.03978
ID  - 2502.03978
ER  -