Author:
BERGER ULRICH,BLANCK JENS,KØBER PETTER KRISTIAN
Abstract
We present a method for constructing from a given domain representation of a spaceXwith underlying domainD, a domain representation of a subspace of compact subsets ofXwhere the underlying domain is the Plotkin powerdomain ofD. 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 ofXare representable. Special attention is paid to admissible representations and representations of metric spaces.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference23 articles.
1. Effective algebra;Stoltenberg-Hansen;Handbook of Logic in Computer Science,1995
2. Computability on Topological Spaces via Domain Representations
3. Recursion on the countable functionals;Normann;Springer-Verlag Lecture Notes in Computer Science,1980
4. Mathematical Theory of Domains
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献