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

lmcs:885 - Logical Methods in Computer Science, August 25, 2011, Volume 7, Issue 3 - https://doi.org/10.2168/LMCS-7(3:5)2011
Co-c.e. spheres and cells in computable metric spacesArticle

Authors: Zvonko Iljazovic

    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.


    Volume: Volume 7, Issue 3
    Published on: August 25, 2011
    Imported on: November 30, 2010
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic,math.LO
    Funding:
      Source : OpenAIRE Graph
    • Dimension theory and shape; Funder: Ministry of Science, Education and Sports of the Republic of Croatia (MSES); Code: 037-0372791-2802

    5 Documents citing this article

    Consultation statistics

    This page has been seen 927 times.
    This article's PDF has been downloaded 254 times.