Effective local connectivity properties
classification
🧮 math.LO
math.GN
keywords
computablyconnectedconnectivitylocalarcwisecompacteffectiveeuclidean
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.