@article{lmcs:1023, title = {Effective zero-dimensionality for computable metric spaces}, author = {Robert Kenny}, url = {https://lmcs.episciences.org/1023}, doi = {10.2168/LMCS-11(1:11)2015}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 11, Issue 1}, eid = 11, year = {2015}, month = {Mar}, keywords = {Mathematics - Logic, Computer Science - Logic in Computer Science}, }