Co-c.e. spheres and cells in computable metric spaces
Logic in Computer Science
2015-07-01 v2 Logic
Abstract
We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable each co-computably enumerable sphere is computable and each co-c.e. cell with co-c.e. boundary sphere is computable.
Cite
@article{arxiv.1106.2769,
title = {Co-c.e. spheres and cells in computable metric spaces},
author = {Zvonko Iljazovic},
journal= {arXiv preprint arXiv:1106.2769},
year = {2015}
}