Outline of partial computability in computable topology

DOI10.1007/978-3-319-58741-7_7zbMath1433.03123OpenAlexW2613746821MaRDI QIDQ2011636

Margarita Korovina, Oleg V. Kudinov

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_7

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Cites Work

• On approximate and algebraic computability over the real numbers
• Effective metric spaces and representations of the reals.
• 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
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• On effective topological spaces
• Towards Computability over Effectively Enumerable Topological Spaces
• Recursive metric spaces
• New Computational Paradigms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Outline of partial computability in computable topology