@misc{indiciae6dc083cef4f0, title = {Classical consequences of continuous choice principles from intuitionistic analysis}, author = {François G. Dorais}, year = {2012}, doi = {10.1215/00294527-2377860}, url = {https://arxiv.org/abs/1207.6434}, note = {Source identifier: 1207.6434} }