A Real Number Structure that is Effectively Categorical

DOI10.1002/malq.19990450202zbMath0946.03050OpenAlexW2047923539MaRDI 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

Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Related Items

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

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