Publication:5318862

zbMath1174.03328MaRDI QIDQ5318862

Yuwen Qiu, Zhao, Xishun

Publication date: 22 July 2009

zbMATH Keywords

representation; type-2 theory of effectivity; computable operator; 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