23 citations · 23 across the 2 of their papers we have counts for
2 papers
math.LO2017
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…
cs.LO2014★ 23 cited
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.…