The Rice-Shapiro theorem in Computable Topology
Abstract
We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. We show that the relaxation of these requirements leads to the classes of effectively enumerable topological spaces where the Rice-Shapiro theorem does not hold. We propose two constructions that generate effectively enumerable topological spaces with particular properties from wn--families and computable trees without computable infinite paths. Using them we propose examples that give a flavor of this class.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2017
- DOI:
- 10.48550/arXiv.1708.09820
- arXiv:
- arXiv:1708.09820
- Bibcode:
- 2017arXiv170809820K
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic;
- 03D45;
- 03D80
- E-Print:
- Logical Methods in Computer Science, Volume 13, Issue 4 (December 29, 2017) lmcs:4171