Borel Complexity of Topological Operations on Computable Metric Spaces

DOI10.1007/978-3-540-73001-9_9zbMath1139.03032OpenAlexW1621754453MaRDI QIDQ5426868

Vasco Brattka, Guido Gherardi

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_9

zbMATH Keywords

computable analysisBorel measurabilityeffective descriptive set theoryhyperspace topologies

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Theory of numerations, effectively presented structures (03D45)

Related Items

How Incomputable is the Separable Hahn-Banach Theorem? ⋮ Computable Exchangeable Sequences Have Computable de Finetti Measures

This page was built for publication: Borel Complexity of Topological Operations on Computable Metric Spaces