Abstract
We examine co-c.e. sets with disconnected complements in a computable metric space. We focus on the case when the computable metric space is effectively locally connected and when the connected components of the complement of a co-c.e. set S can be effectively distinguished. We give a sufficient condition that such an S contains a computable point and a sufficient condition that S is computable.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Brattka, V.: Plottable real number functions and the computable graph theorem. SIAM J. Comput. 38(1), 303–328 (2008)
Brattka, V., Presser, G.: Computability on subsets of metric spaces. Theor. Comput. Sci. 305, 43–76 (2003)
Burnik, K., Iljazović, Z.: Computability of 1-manifolds. Logical Methods Comput. Sci. 10(2:8), 1–28 (2014)
Miller, J.S.: Effectiveness for embedded spheres and balls, Electronic notes in theoretical computer science, volume 66, Elsevier, 127–138 (2002)
Iljazović, Z.: Chainable and circularly chainable continua in computable metric spaces. J. Universal Comput. Sci. 15(6), 1206–1235 (2009)
Iljazović, Z.: Co-c.e.spheres and cells in computable metric spaces. Logical Methods Comput. Sci. 7(3:05), 1–21 (2011)
Iljazović, Z.: Local computability of computable metric spaces and computability of Co-c.e Continua. Glasnik matematički 47(67), 1–20 (2012)
Iljazović, Z.: Compact manifolds with computable boundaries. Logical Methods Comput. Sci. 9(4:19), 1–22 (2013)
Iljazović, Z., Pažek, B.: Computable intersection points, preprint
Iljazović, Z., Validžić, L.: Computable neighbourhoods of points in semicomputable manifolds. Ann. Pure Appl. Logic 168(4), 840–859 (2017)
Iljazović, Z., Validžić, L.: Maximal computability structures. Bull. Symb. Log. 22(4), 445–468 (2016)
Kihara, T.: Incomputability of simply connected planar continua. Computability 1(2), 131–152 (2012)
Pour-El, M.B., Richards, I.: Computability in Analysis and Physics. Springer-Verlag, Berlin (1989)
Specker, E.: Der Satz vom maximum in der rekursiven analysis. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 254–265. North Holland Publica. Comp., Amsterdam (1959)
Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)
Acknowledgements
The authors would like to thank the anonymous referee for his useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Iljazović, Z., Pažek, B. Co-c.e. Sets with Disconnected Complements. Theory Comput Syst 62, 1109–1124 (2018). https://doi.org/10.1007/s00224-017-9781-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-017-9781-x