Effective local connectivity properties
Logic
2012-02-22 v3 General Topology
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
Cite
@article{arxiv.1106.3318,
title = {Effective local connectivity properties},
author = {Dale Daniel and Timothy H. McNicholl},
journal= {arXiv preprint arXiv:1106.3318},
year = {2012}
}
Comments
Final version