24 citations · 62 across the 5 of their papers we have counts for
5 papers
Computable Approximations of Semicomputable Graphs
Vedran Čačić, Matea Čelar, Marko Horvat +1
In this work, we study the computability of topological graphs, which are obtained by gluing arcs and rays together at their endpoints. We prove that every semicomputable graph in…
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…
Computability of 1-manifolds
Konrad Burnik, Zvonko Iljazovic
A semi-computable set S in a computable metric space need not be computable. However, in some cases, if S has certain topological properties, we can conclude that S is computable.…
Compact manifolds with computable boundaries
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 s…
Co-c.e. spheres and cells in computable metric spaces
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…