Effective choice and boundedness principles in computable analysis

Vasco Brattka, Guido Gherardi. Effective choice and boundedness principles in computable analysis. Bulletin of Symbolic Logic, 17(1):73-117, 2011. [doi]

Abstract

Abstract is missing.