TY  - RPRT
TI  - From foundations to applications: reverse mathematics and philosophy
AU  - Benedict Eastaugh
PY  - 2026
UR  - https://arxiv.org/abs/2609.25183
ID  - 2609.25183
ER  -