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

computable topologyeffective local connectivityPeano continua

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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

(10)

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

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)