Approximation systems for functions in topological and in metric spaces

DOI10.2168/LMCS-9(4:15)2013zbMath1315.03121arXiv1310.5656MaRDI QIDQ2865069

Dimiter Skordev

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

zbMATH Keywords

approximationmetric spaceenumerationcontinuous functionrecursively enumerabletopological spacerecursive functionenumeration operatorcomputable functionTTErecursive operatorsemi-computable metric space

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Approximation systems for functions in topological and in metric spaces