Effective metric spaces and representations of the reals.
From MaRDI portal
Publication:1607294
DOI10.1016/S0304-3975(01)00093-7zbMath1042.68106MaRDI QIDQ1607294
Publication date: 31 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03F60: Constructive and recursive analysis
68T30: Knowledge representation
26E40: Constructive real analysis
03D55: Hierarchies of computability and definability
Related Items
The Hausdorff-Ershov hierarchy in Euclidean spaces, Towards a descriptive set theory for domain-like structures, Computability of probability measures and Martin-Löf randomness over metric spaces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Descriptive set theory
- Computational complexity of real functions
- Computable Banach spaces via domain theory
- On approximate and algebraic computability over the real numbers
- Computability on computable metric spaces
- On the time complexity of partial real functions
- A Real Number Structure that is Effectively Categorical