Zvonko Iljazovic - Compact manifolds with computable boundaries

lmcs:891 - Logical Methods in Computer Science, December 11, 2013, Volume 9, Issue 4 - https://doi.org/10.2168/LMCS-9(4:19)2013
Compact manifolds with computable boundaries

Authors: Zvonko Iljazovic

    We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric space each semi-computable compact manifold with computable boundary is computable. In particular, each semi-computable compact (boundaryless) manifold is computable.


    Volume: Volume 9, Issue 4
    Published on: December 11, 2013
    Accepted on: June 25, 2015
    Submitted on: February 12, 2013
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic

    3 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 372 times.
    This article's PDF has been downloaded 245 times.