Co-c.e. spheres and cells in computable metric spaces
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2011
- DOI:
- 10.48550/arXiv.1106.2769
- arXiv:
- arXiv:1106.2769
- Bibcode:
- 2011arXiv1106.2769I
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic;
- math.LO
- E-Print:
- Logical Methods in Computer Science, Volume 7, Issue 3 (August 25, 2011) lmcs:885