Topological properties of real number representations.

DOI10.1016/S0304-3975(01)00066-4zbMATH Open1039.03036MaRDI QIDQ1607288FDOQ1607288

Publication date: 31 July 2002

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

Recommendations

Representations of the real numbers and of the open subsets of the set of real numbers
scientific article; zbMATH DE number 3887669
Logical Approaches to Computational Barriers
Extended admissibility.
scientific article; zbMATH DE number 1969324

Computable analysis Representations of real numbers

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Constructive and recursive analysis (03F60)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Theory of representations
Representations of the real numbers and of the open subsets of the set of real numbers
A Real Number Structure that is Effectively Categorical
Berechenbare Reelle Funktionen
Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
Zur Präzisierung des Begriffes Berechenbare Reelle Funktion

Cited In (26)

A semilattice of degrees of computable metrics
Title not available (Why is that?)
On the complexity of conversion between classic real number representations
A stream calculus of bottomed sequences for real number computation
Representations of the real numbers and of the open subsets of the set of real numbers
Representations of complete uniform spaces via uniform domains
Some hierarchies of \(\mathsf{QCB}_0\)-spaces
A comparison of certain representations of regularly closed sets
Computability on subsets of metric spaces.
Real functions computable by finite automata using affine representations.
Real number computation through Gray code embedding.
The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints
Generalizing Computability Theory to Abstract Algebras
Revising type-2 computation and degrees of discontinuity
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
On coalgebra of real numbers
Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
On the uniform computational content of computability theory
A Galois connection between Turing jumps and limits
On the algebraic structure of Weihrauch degrees
Admissible digit sets
A faithful computational model of the real numbers
Uniform continuity of relations and nondeterministic cellular automata
Recursive quasi-metric spaces.

This page was built for publication: Topological properties of real number representations.

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