Vasco Brattka, Guido Gherardi. Effective choice and boundedness principles in computable analysis. Bulletin of Symbolic Logic, 17(1):73-117, 2011. [doi]
@article{BrattkaG11-0, title = {Effective choice and boundedness principles in computable analysis}, author = {Vasco Brattka and Guido Gherardi}, year = {2011}, url = {http://www.math.ucla.edu/~asl/bsl/1701/1701-002.ps}, tags = {analysis, principles}, researchr = {https://researchr.org/publication/BrattkaG11-0}, cites = {0}, citedby = {0}, journal = {Bulletin of Symbolic Logic}, volume = {17}, number = {1}, pages = {73-117}, }