A faithful computational model of the real numbers

DOI10.1016/0304-3975(95)00054-ZzbMath0872.03032OpenAlexW2164241629MaRDI QIDQ671999

Philipp Sünderhauf

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00054-z

zbMATH Keywords

quasi-uniformitytopological structurefaithful representationrepresentation of real numberscontinuous endofunctionsradix expansionssequences of digits

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15) Higher-type and set recursion theory (03D65)

Related Items (6)

Constructing a quasi-uniform function space ⋮ Recursive quasi-metric spaces. ⋮ The essence of ideal completion in quantitative form ⋮ UNIFORMITIES ON FREE SEMIGROUPS ⋮ UNIFORMITIES ON FREE SEMIGROUPS ⋮ Generated quasi-metric hyper and function spaces.

Cites Work

• A concept of completeness of quasi-uniform spaces
• Computing with infinite objects
• C-complete quasi-uniform spaces
• Constructing a quasi-uniform function space
• Quasi-uniform completeness in terms of Cauchy nets
• Convergence in topology
• Left K‐Completeness in Quasi‐Metric Spaces
• Completeness of Quasi-Uniform and Syntopological Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A faithful computational model of the real numbers