Rice’s Theorem in Effectively Enumerable Topological Spaces
From MaRDI portal
Publication:3195700
DOI10.1007/978-3-319-20028-6_23zbMath1461.03038OpenAlexW2272028380MaRDI QIDQ3195700
Oleg V. Kudinov, Margarita Korovina
Publication date: 20 October 2015
Published in: Evolving Computability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_23
Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Total sets and objects in domain theory
- Index sets in computable analysis
- Index sets for \(\Pi^0_1\) classes
- On some decision problems in programming
- Index sets of computable structures
- Hyperarithmetical Index Sets in Recursion Theory
- On effective topological spaces
- Continuous Lattices and Domains
- Towards Computability over Effectively Enumerable Topological Spaces
- On Computable Metrization
- Index sets for classes of high rank structures
- Mean value theorems in constructive analysis
- New Computational Paradigms
- Positive predicate structures for continuous data