engleski

Computability of spaces with attached arcs

We examine conditions under which a semicomputable set in a computable topological space is a computable one. In particular, we investigate spaces ∆∪f[0, 1], where ∆ is a topological space and f:{;0, 1}; → ∆. We prove that if ∆ has computable type, then the pair (∆∪f[0, 1], ∆) has computable type.

computable set ; semicomputable set ; computable type ; adjunction space

nije evidentirano