Banach-Mazur Computable Functions on Metric Spaces

Authors:
Peter Hertling
Affiliations:
-
Venue:
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Year:
2000

Citing 1
Cited 2

Theory of recursive functions and effective computability

Theory of recursive functions and effective computability

A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A sequentially computable function that is not effectively continuous at any point

Journal of Complexity

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present Mazur's continuity results for Banach-Mazur computable functions on computable real numbers in the slightly more general setting of metric spaces satisfying suitable computability conditions. Additionally, we prove that the image of a computable, computably convergent sequence under a Banach-Mazur computable function is again computably convergent.