Highlights of the Rice-Shapiro theorem in computable topology

DOI10.1007/978-3-319-74313-4_18MaRDI QIDQ4989674zbMATH OpenOpenAlexFDO

Authors Oleg Kudinov, M. V. 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 complexitycontinuous data typeprogram semanticsRice-Shapiro theorem

Mathematics Subject Classification ID

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

Recommendations

• The Rice-Shapiro theorem in computable topology
• Rice's theorem in effectively enumerable topological spaces
• On effective topological spaces
• scientific article; zbMATH DE number 17702
• Towards computability over effectively enumerable topological spaces

Cited in

(5)

• Rice's theorem in effectively enumerable topological spaces
• Computable elements and functions in effectively enumerable topological spaces
• The Rice-Shapiro theorem in computable topology
• Separating notions in effective topology
• COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: Highlights of the Rice-Shapiro theorem in computable topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989674)