A Real Number Structure that is Effectively Categorical

DOI10.1002/malq.19990450202zbMath0946.03050MaRDI QIDQ4243908

Peter H. Hertling

Publication date: 24 May 1999

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450202

zbMATH Keywords

computable representation of the reals

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03D80: Applications of computability and recursion theory

03D45: Theory of numerations, effectively presented structures

Related Items

Stability for Effective Algebras, Computable Riesz Representation for Locally Compact Hausdorff Spaces, Computable analysis with applications to dynamic systems, A semilattice of degrees of computable metrics, Topological properties of real number representations., Effective metric spaces and representations of the reals., Models of computation for partial functions on the reals, Computable structures and operations on the space of continuous functions, Stability of representations of effective partial algebras, Absolutely non-computable predicates and functions in analysis

Uses Software

• SLEEF

Cites Work

• Type 2 recursion theory
• Theory of representations
• Representations of the real numbers and of the open subsets of the set of real numbers
• Recursive characterization of computable real-valued functions and relations
• Computability on computable metric spaces
• On the definitions of computable real continuous functions
• Theorie der Numerierungen I
• Fast Multiple-Precision Evaluation of Elementary Functions
• Recursive metric spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item