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, Topological properties of real number representations., Effective metric spaces and representations of the reals., Models of computation for partial functions on the reals, Stability of representations of effective partial algebras, Absolutely non-computable predicates and functions in analysis

Uses Software

• SLEEF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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