Computability of semicomputable manifolds in computable topological spaces

Zvonko Iljazović, Igor Sušić

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computab…