Approximation systems for functions in topological and in metric spaces
From MaRDI portal
Publication:2865069
DOI10.2168/LMCS-9(4:15)2013zbMath1315.03121arXiv1310.5656MaRDI QIDQ2865069
Publication date: 28 November 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1310.5656
approximation; metric space; enumeration; continuous function; recursively enumerable; topological space; recursive function; enumeration operator; computable function; TTE; recursive operator; semi-computable metric space
03F60: Constructive and recursive analysis
03D75: Abstract and axiomatic computability and recursion theory
Related Items