pith. sign in

arxiv: 1708.09820 · v4 · pith:L7UAUGE2new · submitted 2017-08-31 · 💻 cs.LO · math.LO

The Rice-Shapiro theorem in Computable Topology

classification 💻 cs.LO math.LO
keywords computablespaceseffectivelyenumerablerice-shapirotheoremtopologicalpropose
0
0 comments X
read the original 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.

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.