The Rice-Shapiro theorem in Computable Topology

DOI10.23638/LMCS-13(4:30)2017zbMath1459.03065arXiv1708.09820MaRDI QIDQ4600772

Oleg V. Kudinov, Margarita Korovina

Publication date: 12 January 2018

Full work available at URL: https://arxiv.org/abs/1708.09820

zbMATH Keywords

computable topologycomputable elementsthe Rice-Shapiro theorem

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (3)

Separating notions in effective topology ⋮ On the main scientific achievements of Victor Selivanov ⋮ COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: The Rice-Shapiro theorem in Computable Topology