pith. sign in

arxiv: 1106.2769 · v2 · pith:OXG77HONnew · submitted 2011-06-14 · 💻 cs.LO · math.LO

Co-c.e. spheres and cells in computable metric spaces

classification 💻 cs.LO math.LO
keywords computableco-cmetricchainsco-computablyenumerablespacesphere
0
0 comments X
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.