Journal article 1364 views
Domain representations of spaces of compact subsets
,
JENS BLANCK,
PETTER KRISTIAN KØBER
Mathematical Structures in Computer Science, Volume: 20, Issue: 02, Pages: 107 - 126
Swansea University Author:
Ulrich Berger
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: |
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: |
Faculty of Science and Engineering |
| Issue: |
02 |
| Start Page: |
107 |
| End Page: |
126 |