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
• Publication:4893208
• Regular functors and relative realisability categories
• Category-theoretic structure and radical ontic structural realism
• Categorical properties of the complex numbers

Cites work

• 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?)
• Computability on computable metric spaces
• Fast Multiple-Precision Evaluation of Elementary Functions
• 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

(14)

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

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)