Compact manifolds with computable boundaries
Logic in Computer Science
2015-07-01 v2 Logic
Abstract
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.
Cite
@article{arxiv.1310.7911,
title = {Compact manifolds with computable boundaries},
author = {Zvonko Iljazovic},
journal= {arXiv preprint arXiv:1310.7911},
year = {2015}
}