Co-c.e. spheres and cells in computable metric spaces
classification
💻 cs.LO
math.LO
keywords
computableco-cmetricchainsco-computablyenumerablespacesphere
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.