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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback