Outline of partial computability in computable topology

DOI10.1007/978-3-319-58741-7_7zbMATH Open1433.03123OpenAlexW2613746821MaRDI QIDQ2011636FDOQ2011636

Authors: M. V. Korovina, Oleg Kudinov 

Publication date: 4 August 2017

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

Recommendations

• On images of partial computable functions over computable Polish spaces
• Index sets in computable analysis
• scientific article; zbMATH DE number 5263151
• Computable elements and functions in effectively enumerable topological spaces
• Towards computability over effectively enumerable topological spaces

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Cites Work

• Title not available (Why is that?)
• Invariant descriptive set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Descriptive set theory
• On effective topological spaces
• Computability on computable metric spaces
• Towards the Effective Descriptive Set Theory
• Towards computability over effectively enumerable topological spaces
• Recursive metric spaces
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• On approximate and algebraic computability over the real numbers
• Effective metric spaces and representations of the reals.
• Title not available (Why is that?)
• On images of partial computable functions over computable Polish spaces
• Effectively enumerable topological spaces
• Index sets as a measure of continuous constraint complexity
• Title not available (Why is that?)
• New Computational Paradigms

Cited In (6)

• Title not available (Why is that?)
• Effective Borel degrees of some topological functions
• On images of partial computable functions over computable Polish spaces
• On Turing degrees of points in computable topology
• Genericity of weakly computable objects
• Can partial indexings be totalized?

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

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