A Banach-Mazur computable but not Markov computable function on the computable real numbers
From MaRDI portal
Publication:1765159
DOI10.1016/j.apal.2004.08.001zbMath1068.03055MaRDI QIDQ1765159
Publication date: 23 February 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2004.08.001
Computability theory; Computable analysis; Computable functions on real numbers; Computable real numbers
03F60: Constructive and recursive analysis
03D80: Applications of computability and recursion theory
26E40: Constructive real analysis
Related Items
Revising Type-2 Computation and Degrees of Discontinuity, Notes on computable analysis, A sequentially computable function that is not effectively continuous at any point, Denjoy, Demuth and density, Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
Cites Work
- Markov's constructive analysis; a participant's view
- On the definitions of computable real continuous functions
- A Comparison of Five “Computable” Operators
- Recursive metric spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item