On images of partial computable functions over computable Polish spaces

DOI10.17377/semi.2017.14.035zbMath1423.03155MaRDI QIDQ2403641

Margarita Korovina, Oleg V. Kudinov

Publication date: 11 September 2017

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

computable analysiscomputable Polish spacepartial computable function

Mathematics Subject Classification ID

Descriptive set theory (03E15) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65) Computation over the reals, computable analysis (03D78)

Related Items

On images of partial computable functions over computable Polish spaces, Outline of partial computability in computable topology, On higher effective descriptive set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computability on computable metric spaces
• On images of partial computable functions over computable Polish spaces
• Towards the Effective Descriptive Set Theory
• Index Sets as a Measure of Continuous Constraint Complexity
• Borel Complexity of Topological Operations on Computable Metric Spaces
• On effective topological spaces
• Computable elements and functions in effectively enumerable topological spaces
• Towards Computability over Effectively Enumerable Topological Spaces
• On Computable Metrization
• Normal numbers and the Borel hierarchy
• Recursive metric spaces
• New Computational Paradigms