TY  - RPRT
TI  - Interpreting set theory in higher order arithmetic
AU  - Colin McLarty
PY  - 2013
UR  - https://arxiv.org/abs/1207.6357
ID  - 1207.6357
ER  -