TY  - RPRT
TI  - Axiomatizing mathematical conceptualism in third order arithmetic
AU  - Nik Weaver
PY  - 2009
UR  - https://arxiv.org/abs/0905.1675
ID  - 0905.1675
ER  -