Effective zero-dimensionality for computable metric spaces
From MaRDI portal
Publication:5246716
DOI10.2168/LMCS-11(1:11)2015zbMath1328.03055arXiv1501.03783MaRDI QIDQ5246716
Publication date: 22 April 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.03783
Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Dimension theory in general topology (54F45) Applications of computability and recursion theory (03D80)
Related Items
ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY ⋮ Computability of Subsets of Metric Spaces
This page was built for publication: Effective zero-dimensionality for computable metric spaces