@misc{indiciae850958b38b48, title = {Reverse Mathematics and initial intervals}, author = {Emanuele Frittaion and Alberto Marcone}, year = {2013}, doi = {10.1016/j.apal.2013.11.002}, url = {https://arxiv.org/abs/1303.2926}, note = {Source identifier: 1303.2926} }