Effective metric spaces and representations of the reals.
From MaRDI portal
Publication:1607294
DOI10.1016/S0304-3975(01)00093-7zbMATH Open1042.68106MaRDI QIDQ1607294FDOQ1607294
Authors: Armin Hemmerling
Publication date: 31 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
Knowledge representation (68T30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Hierarchies of computability and definability (03D55) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)
Cites Work
- Computable Banach spaces via domain theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Descriptive set theory
- Computational complexity of real functions
- Title not available (Why is that?)
- Computability on computable metric spaces
- On approximate and algebraic computability over the real numbers
- A Real Number Structure that is Effectively Categorical
- Title not available (Why is that?)
- On the time complexity of partial real functions
Cited In (8)
- Outline of partial computability in computable topology
- Computability of probability measures and Martin-Löf randomness over metric spaces
- Stability of representations of effective partial algebras
- Title not available (Why is that?)
- Towards a descriptive set theory for domain-like structures
- Computable randomness and betting for computable probability spaces
- The Hausdorff-Ershov hierarchy in Euclidean spaces
- A faithful computational model of the real numbers
This page was built for publication: Effective metric spaces and representations of the reals.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607294)