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
approximationseparabilityenumerationcontinuous functionpartial recursive functionrestrictionrecursively enumerable settopological spacerecursive functionprimitive recursive functionenumeration operatorcomputable functionrecursive operator
Related Items