Effective metric spaces and representations of the reals.

DOI10.1016/S0304-3975(01)00093-7MaRDI QIDQ1607294zbMATH OpenFDO

Authors Armin Hemmerling

Publication date 31 July 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Turing machines

Mathematics Subject Classification ID

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)

Recommendations

• Computability on computable metric spaces
• scientific article; zbMATH DE number 1222114
• scientific article; zbMATH DE number 1746033
• scientific article; zbMATH DE number 1222103
• A tutorial on computable analysis

Cites work

• scientific article; zbMATH DE number 3987247 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1222103 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A Real Number Structure that is Effectively Categorical
• Computability on computable metric spaces
• Computable Banach spaces via domain theory
• Computational complexity of real functions
• Descriptive set theory
• On approximate and algebraic computability over the real numbers
• 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
• scientific article; zbMATH DE number 1746033 (Why is no real title available?)
• 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)