TY  - RPRT
TI  - Reverse mathematics and uniformity in proofs without excluded middle
AU  - Jeffry L. Hirst
AU  - Carl Mummert
PY  - 2010
DO  - 10.1215/00294527-1306163
UR  - https://arxiv.org/abs/1010.5165
ID  - 1010.5165
ER  -