TY  - RPRT
TI  - Reverse Mathematics and initial intervals
AU  - Emanuele Frittaion
AU  - Alberto Marcone
PY  - 2013
DO  - 10.1016/j.apal.2013.11.002
UR  - https://arxiv.org/abs/1303.2926
ID  - 1303.2926
ER  -