Effective versions of local connectivity properties

DOI10.1007/S00224-011-9364-1MaRDI QIDQ692887zbMATH OpenOpenAlexFDO

Authors Dale Daniel, Timothy H. McNicholl

Publication date 6 December 2012

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.3318

zbMATH Keywords

Peano continuacomputable topologyeffective local connectivity

Mathematics Subject Classification ID

Connected and locally connected spaces (general aspects) (54D05) Continua and generalizations (54F15) Constructive and recursive analysis (03F60)

Abstract: We investigate, and prove equivalent, effective versions of local connectivity and uniformly local arcwise connectivity for connected and computably compact subspaces of Euclidean space. We also prove that Euclidean continua that are computably compact and effectively locally connected are computably arcwise connected.

Recommendations

• Effective continuities on effective topological spaces
• On computably locally compact Hausdorff spaces
• Local computability of computable metric spaces and computability of co-c.e. continua
• Computability on Subsets of Locally Compact Spaces
• Local connectivity functions on arcwise connected spaces and certain continua

Cites work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 5251035 (Why is no real title available?)
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Effectiveness for embedded spheres and balls
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
• Plottable Real Number Functions and the Computable Graph Theorem
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II

Cited in

(9)

• Computing links and accessing arcs
• scientific article; zbMATH DE number 637324 (Why is no real title available?)
• Computing space-filling curves
• An effective Carathéodory theorem
• Computable complex analysis
• Local connectivity of neutral networks
• Computing boundary extensions of conformal maps
• The power of backtracking and the confinement of length
• Carathéodory's theorem and moduli of local connectivity

This page was built for publication: Effective versions of local connectivity properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692887)