The Rice-Shapiro theorem in Computable Topology
Logic in Computer Science
2019-03-14 v4 Logic
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.
Keywords
Cite
@article{arxiv.1708.09820,
title = {The Rice-Shapiro theorem in Computable Topology},
author = {Margarita Korovina and Oleg Kudinov},
journal= {arXiv preprint arXiv:1708.09820},
year = {2019}
}