Topological Rays and Lines as co-c.e. Sets (CROSBI ID 604928)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Burnik, Konrad ; Iljazović, Zvonko
engleski
Topological Rays and Lines as co-c.e. Sets
A co-computably enumerable 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. There are some results which give such properties in the case when $S$ is compact. In this paper we consider the following (noncompact) case: $S$ is homeomorphic to $\mathbb{; ; R}; ; $ or $[0, \infty\rangle $. More generally, we consider the case when $S$ is a (noncompact) 1-manifold with boundary.
computable metric space; computable set; co-c.e. set; topological ray; topological line
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
10-21.
2013.
objavljeno
Podaci o matičnoj publikaciji
Informatik Berichte
Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong
Hagen: FernUniversitat in Hagen
Podaci o skupu
Tenth International Conference on Computability and Complexity in Analysis
predavanje
08.07.2013-10.07.2013
Nancy, Francuska