English

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}
}
R2 v1 2026-06-22T21:29:28.412Z