Results

**1 - 8**of**8**### Domain representations of spaces of compact subsets

, 2010

"... We present a method for constructing from a given domain representation of a space X with underlying domain D, a domain representation of a subspace of compact subsets of X where the underlying domain is the Plotkin powerdomain of D. We show that this operation is functorial over a category of domai ..."

Abstract
- Add to MetaCart

We present a method for constructing from a given domain representation of a space X with underlying domain D, a domain representation of a subspace of compact subsets of X where the underlying domain is the Plotkin powerdomain of D. We show that this operation is functorial over a category of domain representations with a natural choice of morphisms. We study the topological properties of the space of representable compact sets and isolate conditions under which all compact subsets of X are representable. Special attention is paid to admissible representations and representations of metric spaces.

### doi:10.1093/comjnl/bxs121 Interval Domains and Computable Sequences: A Case Study of Domain Reductions

, 2012

"... The interval domain as a model of approximations of real numbers is not unique, in fact, there are many variations of the interval domain. We study these variations with respect to domain reductions. ..."

Abstract
- Add to MetaCart

(Show Context)
The interval domain as a model of approximations of real numbers is not unique, in fact, there are many variations of the interval domain. We study these variations with respect to domain reductions.

### Stability of representations of effective partial algebras

, 2011

"... Key words Numberings, recursive equivalence, computable stability, effective partial algebras, computable ..."

Abstract
- Add to MetaCart

(Show Context)
Key words Numberings, recursive equivalence, computable stability, effective partial algebras, computable

### 12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES

"... Computability on topological spaces via domain representations by V Stoltenberg-Hansen and J V Tucker Report # CSR 2-2007Computability on topological spaces via domain representations ..."

Abstract
- Add to MetaCart

(Show Context)
Computability on topological spaces via domain representations by V Stoltenberg-Hansen and J V Tucker Report # CSR 2-2007Computability on topological spaces via domain representations

### EFFECTIVE STRUCTURE THEOREMS FOR SPACES OF COMPACTLY SUPPORTED DISTRIBUTIONS

"... supported distributions ..."

(Show Context)
### Additional services for Mathematical Structures in

, 2009

"... How to cite this article: ..."

(Show Context)