
doi: 10.3390/math12223468
We investigate conditions under which a semicomputable set is computable. In particular, we study topological pairs (A,B) which have a computable type, which means that in any computable topological space, a semicomputable set S is computable if there exists a semicomputable set T such that (S,T) is homeomorphic to (A,B). It is known that (G,E) has a computable type if G is a topological graph and E is the set of all its endpoints. Furthermore, the same holds if G is a so-called chainable graph. We generalize the notion of a chainable graph and prove that the same result holds for a larger class of spaces.
computable type, chainable graph, topological graph, generalized graph, QA1-939, computable topological space, Mathematics
computable type, chainable graph, topological graph, generalized graph, QA1-939, computable topological space, Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
