Article
Effective Versions of Local Connectivity Properties
Theory of Computing Systems
(2012)
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.
Keywords
- Computable topology,
- Effective local connectivity,
- Peano continua
Disciplines
Publication Date
2012
DOI
10.1007/s00224-011-9364-1
Publisher Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/s00224-011-9364-1.
Copyright Springer Science+Business Media, LLC 2011
Citation Information
Dale Daniel and Timothy H. McNicholl. "Effective Versions of Local Connectivity Properties" Theory of Computing Systems Vol. 50 Iss. 4 (2012) p. 621 - 640 Available at: http://works.bepress.com/timothy-mcnicholl/3/