Naslov
Chainable and Circularly Chainable Co-Recursively Enumerable Sets

Autori
Iljazović, Zvonko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Informatik Berichte / Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch - Hagen : FernUniversitat in Hagen, 2008, 119-128

Skup
Fifth International Conference on Computability and Complexity in Analysis

Mjesto i datum
Hagen, Njemačka, 21.08.2008. - 24.08.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Recursive set; Co-recursively enumerable set; Chainable continuum; Circularly chainable continuum

Sažetak
We investigate under what conditions a co- recursively enumerable set S in R^n is recursive. The topological type of S plays an important role in view of this task. We first examine co-r.e. sets with disconnected complement, and then we focus on study of chainable and circularly chainable continua which are co-r.e. as subsets of R^n. We prove that each co-r.e. circularly chainable continuum which is not chainable must be recursive. This means, for example, that each co-r.e. set in R^n which has topological type of the Warsaw circle or the dyadic solenoid must be recursive. We also prove that for each chainable continuum S which is decomposable and each epsilon >0 there exists a recursive subcontinuum of S which is epsilon-close to S.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo

POVEZANOST RADA