No Cover Image

Journal article 1174 views

Domain representations of spaces of compact subsets

Ulrich Berger Orcid Logo, Jens Blanck Orcid Logo, PETTER KRISTIAN KØBER

Mathematical Structures in Computer Science, Volume: 20, Issue: 02, Start page: 107

Swansea University Authors: Ulrich Berger Orcid Logo, Jens Blanck Orcid Logo

Full text not available from this repository: check for access using links below.

Abstract

Compactness is a central concept in topology, its usefulness is in allowing to treat spaces as 'finite' in some sense. This has particular value for computability. We construct in the paper a domain representation of the space of all compact subspaces of an already domain represented space...

Full description

Published in: Mathematical Structures in Computer Science
ISSN: 0960-1295 1469-8072
Published: Cambridge University Press 2010
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa7413
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: Compactness is a central concept in topology, its usefulness is in allowing to treat spaces as 'finite' in some sense. This has particular value for computability. We construct in the paper a domain representation of the space of all compact subspaces of an already domain represented space. This is done by using the Plotkin power domain.
College: Faculty of Science and Engineering
Issue: 02
Start Page: 107