<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-015-06-1206</article-id>
      <article-id pub-id-type="publisher-id">29382</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.0 - GENERAL</subject>
          <subject>G.0 - GENERAL</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Chainable and Circularly Chainable Co-r.e. Sets in Computable Metric Spaces</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Iljazović</surname>
            <given-names>Zvonko</given-names>
          </name>
          <email xlink:type="simple">zilj@math.hr</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">University of Zagreb, Zagreb, Croatia</addr-line>
        <institution>University of Zagreb</institution>
        <addr-line content-type="city">Zagreb</addr-line>
        <country>Croatia</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Zvonko Iljazović (<email xlink:type="simple">zilj@math.hr</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2009</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>03</month>
        <year>2009</year>
      </pub-date>
      <volume>15</volume>
      <issue>6</issue>
      <fpage>1206</fpage>
      <lpage>1235</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/CE8DE236-C189-59CE-884A-15FC82D159D0">CE8DE236-C189-59CE-884A-15FC82D159D0</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7000751">7000751</uri>
      <permissions>
        <copyright-statement>Zvonko Iljazović</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>We investigate under what conditions a co-recursively enumerable set S in a computable metric space (Χ, d, α) is recursive. The topological properties of S play an important role in view of this task. We first study some properties of computable metric spaces such as the effective covering property. Then we examine co-r.e. sets with disconnected complement, and finally we focus on study of chainable and circularly chainable continua which are co-r.e. as subsets of Χ. We prove that, under some assumptions on Χ, 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 Rn or in the Hilbert cube 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 ε &gt; 0 there exists a recursive subcontinuum of S which is ε-close to S.</p>
      </abstract>
    </article-meta>
  </front>
</article>
