Results 1 
7 of
7
Reducibility of Domain Representations and CantorWeihrauch Domain Representations
, 2006
"... We introduce a notion of reducibility of representations of topological spaces and study some basic properties of this notion for domain representations. A representation reduces to another if its representing map factors through the other representation. Reductions form a preorder on representatio ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
We introduce a notion of reducibility of representations of topological spaces and study some basic properties of this notion for domain representations. A representation reduces to another if its representing map factors through the other representation. Reductions form a preorder on representations. A spectrum is a class of representations divided by the equivalence relation induced by reductions. We establish some basic properties of spectra, such as, nontriviality. Equivalent representations represent the same set of functions on the represented space. Within a class of representations, a representation is universal if all representations in the class reduce to it. We show that notions of admissibility, considered both for domains and within Weihrauch’s TTE, are universality concepts in the appropriate spectra. Viewing TTE representations as domain representations, the reduction notion here is a natural generalisation of the one from TTE. To illustrate the framework, we consider some domain representations of real numbers and show that the usual interval domain representation, which is universal among dense representations, does not reduce to various Cantor domain representations. On the other hand, however, we show that a substructure of the interval domain more suitable for efficient computation of operations is equivalent to the usual interval domain with respect to reducibility. 1.
Fundamentals of Computing I
 Logic, Problem Solving, Programs, & Computers
, 1992
"... on topological spaces via domain representations ..."
The Real Number Structure is Effectively Categorical
, 1997
"... On countable structures computability is usually introduced via numberings. For uncountable structures whose cardinality does not exceed the cardinality of the continuum the same can be done via representations. Which representations are appropriate for doing real number computations? We show tha ..."
Abstract
 Add to MetaCart
On countable structures computability is usually introduced via numberings. For uncountable structures whose cardinality does not exceed the cardinality of the continuum the same can be done via representations. Which representations are appropriate for doing real number computations? We show that with respect to computable equivalence there is one and only one equivalence class of representations of the real numbers which make the basic operations computable. This characterizes the real numbers in terms of the theory of e#ective algebras or computable structures, and is re#ected by observations made in real number computer arithmetic. We also give further evidence for the wellknown nonappropriateness of the representation to some base b by proving that strictly less functions are computable with respect to these representations than with respect to a standard representation of the real numbers. Furthermore we consider basic constructions of representations and the countab...
12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES
"... Computability on topological spaces via domain representations by V StoltenbergHansen and J V Tucker Report # CSR 22007Computability on topological spaces via domain representations ..."
Abstract
 Add to MetaCart
Computability on topological spaces via domain representations by V StoltenbergHansen and J V Tucker Report # CSR 22007Computability on topological spaces via domain representations
Cantor–Weihrauch domain representations
, 2007
"... We hope you have now downloaded a proof of your paper in pdf format, and also the Transfer of ..."
Abstract
 Add to MetaCart
We hope you have now downloaded a proof of your paper in pdf format, and also the Transfer of