@article {IOPORT.06020579, author = {Iljazovi\'c, Zvonko}, title = {Co-c.e. spheres and cells in computable metric spaces.}, year = {2011}, journal = {Logical Methods in Computer Science [electronic only]}, volume = {7}, number = {3}, issn = {1860-5974}, pages = {Paper No. 5, 21 p., electronic only}, publisher = {Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, Technical University of Braunschweig, Braunschweig}, doi = {10.2168/LMCS-7(3:5)2011}, abstract = {Summary: 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.}, identifier = {06020579}, }