Borel Complexity of Topological Operations on Computable Metric Spaces
DOI10.1093/logcom/exn027zbMath1169.03047OpenAlexW4245716479MaRDI QIDQ3611721
Publication date: 2 March 2009
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/79a1a3a27e55d53342cce620349c4afc36eab98d
Borel hierarchyFell topologytheory of representationscomputable analysiseffective descriptive set theoryEffros Borel structureeffective Borel complexityeffective Borel measurability
Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Theory of numerations, effectively presented structures (03D45)
Related Items (16)
This page was built for publication: Borel Complexity of Topological Operations on Computable Metric Spaces