TY  - RPRT
TI  - Pathwise-random trees and models of second-order arithmetic
AU  - George Barmpalias
AU  - Wei Wang
PY  - 2024
UR  - https://arxiv.org/abs/2104.12066
ID  - 2104.12066
ER  -