Skip to main content Accessibility help

Domain representations of spaces of compact subsets



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.



Hide All
Abramsky, S. and Jung, A. (1994) Domain Theory. In: Handbook of Logic in Computer Science 3, Oxford University Press 1158.
Battenfeld, I. (2006) Computational Effects in Topological Domain Theory. Electronic Notes in Theoretical Computer Science 158 5980.
Blanck, J. (1997) Domain representability of metric spaces. Annals of Pure and Applied Logic 83 225247.
Blanck, J. (1999) Effective domain representations of ℋ(X), the space of compact subsets. Theoretical Computer Science 219 1948.
Blanck, J. (2000) Domain Representations of Topological Spaces. Theoretical Computer Science 247 229255.
Blanck, J. (2008) Reducibility of Domain Representations and Cantor–Weihrauch Domain Representations. Mathematical Structures in Computer Science 18 10311056.
Ershov, Y. L. (1977) Model C of partial continuous functionals. In: Gandy, R. and Hyland, M. (eds.) Logic Colloquium 1976, North-Holland455467.
Escardó, M., Lawson, J. and Simpson, A. (2004) Comparing Cartesian Closed Categories of (Core) Compactly Generated Spaces. Topology and its applications 143 105145.
Escardó, M. (2008) Exhaustible Sets in Higher-Type Computation. Logical Methods in Computer Science 4 137.
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. and Scott, D. S. (2003) Continuous Lattices and Domains, Cambridge University Press.
Hamrin, G. (2005) Effective Domains and Admissible Domain Representations, Ph.D. Thesis, Uppsala Dissertations in Mathematics 42, Uppsala University.
Kleene, S. C. (1959) Countable functionals. In: Heyting, A. (ed.) Constructivity in Mathematics, North-Holland81100.
Kreisel, G. (1959) Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity in Mathematics, North-Holland101128.
Normann, D. (1980) Recursion on the countable functionals. Springer-Verlag Lecture Notes in Computer Science 811.
Normann, D. (2008) A rich hierarchy of functionals of finite types (manuscript).
Plotkin, G. (1983) Pisa Notes (on Domains).
Schröder, M. (2003) Admissible Representations for Continuous Computations, Ph.D. Thesis, FernUniversität Hagen.
Scott, D. S. (1970) Outline of a mathematical theory of computation. In: 4th Annual Princeton Conference on Information Sciences and Systems 169–176.
Smyth, M. B. (1983) Power Domains and Predicate Transformers: A Topological View. Springer-Verlag Lecture Notes in Computer Science 154 662675.
Stoltenberg-Hansen, V., Lindström, I. and Griffor, E. R. (1994) Mathematical Theory of Domains, Cambridge University Press.
Stoltenberg-Hansen, V. and Tucker, J. V. (1995) Effective algebra. In: Abramsky, S. et al. (eds.) Handbook of Logic in Computer Science 4 357526.
Stoltenberg-Hansen, V. and Tucker, J. (2008) Computability on topological spaces via domain representations. In: Cooper, S. B. et al. (eds.) New Computational Paradigms 153–194.
Weihrauch, K. (2000) An Introduction to Computable Analysis, Springer-Verlag.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed