On images of partial computable functions over computable Polish spaces

DOI10.17377/SEMI.2017.14.035MaRDI QIDQ2403641zbMATH OpenFDO

Authors M. V. Korovina, Oleg Kudinov

Publication date 11 September 2017

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

computable analysiscomputable Polish spacepartial computable function

Mathematics Subject Classification ID

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

Recommendations

• Outline of partial computability in computable topology
• Grzegorczyk's hierarchy of computable analysis
• Computability of Polish spaces up to homeomorphism
• Computable elements and functions in effectively enumerable topological spaces
• A tutorial on computable analysis

Cites work

• scientific article; zbMATH DE number 6536309 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3372755 (Why is no real title available?)
• Borel Complexity of Topological Operations on Computable Metric Spaces
• Computability on computable metric spaces
• Computable elements and functions in effectively enumerable topological spaces
• Descriptive set theory
• Index sets as a measure of continuous constraint complexity
• New Computational Paradigms
• Normal numbers and the Borel hierarchy
• On computable metrization
• On effective topological spaces
• On images of partial computable functions over computable Polish spaces
• Recursive metric spaces
• Towards computability over effectively enumerable topological spaces
• Towards the Effective Descriptive Set Theory

Cited in

(3)

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

This page was built for publication: On images of partial computable functions over computable Polish spaces

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