Publication:3609151

zbMath1174.03327MaRDI QIDQ3609151

Zhao, Xishun, Yuwen Qiu

Publication date: 6 March 2009

zbMATH Keywords

representations; computability; type-2 theory of effectivity; co-regular subset

Mathematics Subject Classification ID

54E35: Metric spaces, metrizability

03D80: Applications of computability and recursion theory

03D45: Theory of numerations, effectively presented structures