Geometric analysis of metric spaces is a vibrant research area at the interface of analysis, geometry and topology. It examines the intrinsic structure of spaces endowed with a notion of distance, ...

We give a systematic technical exposition of the foundations of the theory of computably compact metric spaces. We discover several new characterizations of computable compactness and apply these ...