A Real Number Structure that is Effectively Categorical

DOI10.1002/MALQ.19990450202MaRDI QIDQ4243908zbMATH OpenOpenAlexFDO

Authors P. 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

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

Recommendations

• Hilbert's categoricity of real numbers
• scientific article; zbMATH DE number 1136106
• STACS 2005
• scientific article; zbMATH DE number 6963633
• Categorical equivalences and realization theorems
• Realizability. An introduction to its categorical side
• scientific article; zbMATH DE number 922680
• Regular functors and relative realisability categories
• Category-theoretic structure and radical ontic structural realism
• Categorical properties of the complex numbers

Cites work

• Computability on computable metric spaces
• Fast Multiple-Precision Evaluation of Elementary Functions
• scientific article; zbMATH DE number 3112803 (Why is no real title available?)
• scientific article; zbMATH DE number 3871350 (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 1107625 (Why is no real title available?)
• scientific article; zbMATH DE number 2013199 (Why is no real title available?)
• scientific article; zbMATH DE number 3230252 (Why is no real title available?)
• scientific article; zbMATH DE number 3285221 (Why is no real title available?)
• On the definitions of computable real continuous functions
• Recursive characterization of computable real-valued functions and relations
• Recursive metric spaces
• Representations of the real numbers and of the open subsets of the set of real numbers
• Theorie der Numerierungen I
• Theory of representations
• Type 2 recursion theory

Cited in

(16)

• Topological properties of real number representations.
• Effective metric spaces and representations of the reals.
• Axiomatic reals and certified efficient exact real computation
• 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
• The effective reals of Schanuel
• Absolutely non-computable predicates and functions in analysis
• Stability for effective algebras
• Computable Riesz representation for locally compact Hausdorff spaces
• Computable analysis with applications to dynamic systems
• The dependence of computability on numerical notations
• Semantics, specification logic, and Hoare logic of exact real computation
• Computable analysis for extraction of certified programs and its applications
• Extracting efficient exact real number computation from proofs in constructive type theory
• A semilattice of degrees of computable metrics

Describes a project that uses

Uses Software

• SLEEF

This page was built for publication: A Real Number Structure that is Effectively Categorical

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4243908)