Some theorems on passing from local to global presence of properties of functions
From MaRDI portal
Publication:2974787
DOI10.2168/LMCS-12(4:3)2016zbMath1445.03052arXiv1609.04254MaRDI QIDQ2974787
Publication date: 11 April 2017
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.04254
approximation; separability; enumeration; continuous function; partial recursive function; restriction; recursively enumerable set; topological space; recursive function; primitive recursive function; enumeration operator; computable function; recursive operator