Pregled bibliografske jedinice broj: 666446
Topological Rays and Lines as co-c.e. Sets
Topological Rays and Lines as co-c.e. Sets // Informatik Berichte / Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong (ur.).
Hagen: FernUniversitat in Hagen, 2013. str. 10-21 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 666446 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Topological Rays and Lines as co-c.e. Sets
Autori
Burnik, Konrad ; Iljazović, Zvonko
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Informatik Berichte
/ Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong - Hagen : FernUniversitat in Hagen, 2013, 10-21
Skup
Tenth International Conference on Computability and Complexity in Analysis
Mjesto i datum
Nancy, Francuska, 08.07.2013. - 10.07.2013
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
computable metric space; computable set; co-c.e. set; topological ray; topological line
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
037-0372791-2802 - Teorija dimenzije i oblika (Mardešić, Sibe, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Zvonko Iljazović
(autor)
