@misc{indiciae5ff7922749c1, title = {Effective Choice and Boundedness Principles in Computable Analysis}, author = {Vasco Brattka and Guido Gherardi}, year = {2009}, doi = {10.2178/bsl/1294186663}, url = {https://arxiv.org/abs/0905.4685}, note = {Source identifier: 0905.4685} }