%0 Journal Article
%T Compact manifolds with computable boundaries
%A Zvonko Iljazovic
%J Mathematics
%D 2013
%I arXiv
%R 10.2168/LMCS-9(4:19)2013
%X We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric space each semi-computable compact manifold with computable boundary is computable. In particular, each semi-computable compact (boundaryless) manifold is computable.
%U http://arxiv.org/abs/1310.7911v2