Vasco Brattka Guido Gherardi Borel Complexity of Topological Operations on Computable Metric Spaces. 45-76 2009 19 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exn027 db/journals/logcom/logcom19.html#BrattkaG09