No Cover Image

Journal article 611 views

Domain representations of spaces of compact subsets

Ulrich Berger Orcid Logo, JENS BLANCK, PETTER KRISTIAN KØBER

Mathematical Structures in Computer Science, Volume: 20, Issue: 02, Pages: 107 - 126

Swansea University Author: Ulrich Berger 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: 2010
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa5274
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: College of Science
Issue: 02
Start Page: 107
End Page: 126