Effective versions of local connectivity properties

DOI10.1007/S00224-011-9364-1zbMATH Open1309.03023arXiv1106.3318OpenAlexW1768911329MaRDI QIDQ692887FDOQ692887

Dale Daniel, Timothy H. McNicholl

Publication date: 6 December 2012

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Plottable Real Number Functions and the Computable Graph Theorem
• Effectiveness for Embedded Spheres and Balls
• 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
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
• Title not available (Why is that?)

Cited In (9)

• Computable Complex Analysis
• Computing space-filling curves
• Carathéodory’s Theorem and moduli of local connectivity
• An effective Carathéodory theorem
• Local connectivity of neutral networks
• Computing boundary extensions of conformal maps
• The power of backtracking and the confinement of length
• Computing links and accessing arcs
• Title not available (Why is that?)

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)