Journal article 1174 views
Domain representations of spaces of compact subsets
Mathematical Structures in Computer Science, Volume: 20, Issue: 02, Start page: 107
Swansea University Authors: Ulrich Berger , Jens Blanck
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1017/S096012950999034X
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...
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 |