Highlights of the Rice-Shapiro Theorem in Computable Topology

DOI10.1007/978-3-319-74313-4_18zbMath1461.03039OpenAlexW2785291680MaRDI QIDQ4989674

Oleg V. Kudinov, Margarita Korovina

Publication date: 26 May 2021

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74313-4_18

zbMATH Keywords

arithmetical complexityprogram semanticsRice-Shapiro theoremcontinuous data type

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Abstract data types; algebraic specification (68Q65) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (2)

Separating notions in effective topology ⋮ COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: Highlights of the Rice-Shapiro Theorem in Computable Topology