A Real Number Structure that is Effectively Categorical

DOI10.1002/MALQ.19990450202zbMATH Open0946.03050OpenAlexW2047923539MaRDI QIDQ4243908FDOQ4243908

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

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

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)

Cites Work

• Title not available (Why is that?)
• Fast Multiple-Precision Evaluation of Elementary Functions
• Title not available (Why is that?)
• On the definitions of computable real continuous functions
• Title not available (Why is that?)
• Theory of representations
• Computability on computable metric spaces
• Title not available (Why is that?)
• Theorie der Numerierungen I
• Recursive metric spaces
• Title not available (Why is that?)
• 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
• Type 2 recursion theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (14)

• A semilattice of degrees of computable metrics
• Absolutely non-computable predicates and functions in analysis
• Semantics, specification logic, and Hoare logic of exact real computation
• Effective metric spaces and representations of the reals.
• 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

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)