Representations of the real numbers and of the open subsets of the set of real numbers

DOI10.1016/0168-0072(87)90065-0zbMath0643.03041OpenAlexW1977390449MaRDI QIDQ1101448

Christoph Kreitz, Weihrauch, Klaus

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90065-0

zbMATH Keywords

admissible representationsconstructive analysisrepresentations of the real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)

Related Items

A semilattice of degrees of computable metrics, Compactness in constructive analysis revisited, Computable reducibility of metrics on the reals, Non-recursiveness of the operations on real numbers, Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, A Comparison of Certain Representations of Regularly Closed Sets, A Functional Algorithm for Exact Real Integration with Invariant Measures, Type 2 computational complexity of functions on Cantor's space, Computability on computable metric spaces, Computable invariance, Computability on continuous, lower semi-continuous and upper semi-continuous real functions, Computability on subsets of Euclidean space. I: Closed and compact subsets, An effective Riemann Mapping Theorem, Effectiveness of the global modulus of continuity on metric spaces, Decidability in analysis, On the complexity of conversion between classic real number representations, Weihrauch Complexity in Computable Analysis, Topological properties of real number representations., A Real Number Structure that is Effectively Categorical

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type 2 recursion theory
• Theory of representations
• On computable sequences
• On the definitions of computable real continuous functions
• On the definitions of some complexity classes of real numbers
• A topological analog to the Rice-Shapiro index theorem
• Berechenbare Reelle Funktionen
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Nicht konstruktiv beweisbare Sätze der Analysis