Journal article 1125 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!
|
first_indexed |
2013-07-23T11:58:14Z |
---|---|
last_indexed |
2018-02-09T04:35:33Z |
id |
cronfa7413 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2013-10-17T13:36:14.4536157</datestamp><bib-version>v2</bib-version><id>7413</id><entry>2012-02-23</entry><title>Domain representations of spaces of compact subsets</title><swanseaauthors><author><sid>61199ae25042a5e629c5398c4a40a4f5</sid><ORCID>0000-0002-7677-3582</ORCID><firstname>Ulrich</firstname><surname>Berger</surname><name>Ulrich Berger</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>704f3ce6b65d931e1a86a03e9e30d639</sid><ORCID>0000-0001-9656-1352</ORCID><firstname>Jens</firstname><surname>Blanck</surname><name>Jens Blanck</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-02-23</date><deptcode>SCS</deptcode><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.</abstract><type>Journal Article</type><journal>Mathematical Structures in Computer Science</journal><volume>20</volume><journalNumber>02</journalNumber><paginationStart>107</paginationStart><paginationEnd/><publisher>Cambridge University Press</publisher><placeOfPublication/><issnPrint>0960-1295</issnPrint><issnElectronic>1469-8072</issnElectronic><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2010</publishedYear><publishedDate>2010-12-31</publishedDate><doi>10.1017/S096012950999034X</doi><url/><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2013-10-17T13:36:14.4536157</lastEdited><Created>2012-02-23T17:01:54.0000000</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Ulrich</firstname><surname>Berger</surname><orcid>0000-0002-7677-3582</orcid><order>1</order></author><author><firstname>Jens</firstname><surname>Blanck</surname><orcid>0000-0001-9656-1352</orcid><order>2</order></author><author><firstname>PETTER KRISTIAN</firstname><surname>KØBER</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807> |
spelling |
2013-10-17T13:36:14.4536157 v2 7413 2012-02-23 Domain representations of spaces of compact subsets 61199ae25042a5e629c5398c4a40a4f5 0000-0002-7677-3582 Ulrich Berger Ulrich Berger true false 704f3ce6b65d931e1a86a03e9e30d639 0000-0001-9656-1352 Jens Blanck Jens Blanck true false 2012-02-23 SCS 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. Journal Article Mathematical Structures in Computer Science 20 02 107 Cambridge University Press 0960-1295 1469-8072 31 12 2010 2010-12-31 10.1017/S096012950999034X COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2013-10-17T13:36:14.4536157 2012-02-23T17:01:54.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 0000-0002-7677-3582 1 Jens Blanck 0000-0001-9656-1352 2 PETTER KRISTIAN KØBER 3 |
title |
Domain representations of spaces of compact subsets |
spellingShingle |
Domain representations of spaces of compact subsets Ulrich Berger Jens Blanck |
title_short |
Domain representations of spaces of compact subsets |
title_full |
Domain representations of spaces of compact subsets |
title_fullStr |
Domain representations of spaces of compact subsets |
title_full_unstemmed |
Domain representations of spaces of compact subsets |
title_sort |
Domain representations of spaces of compact subsets |
author_id_str_mv |
61199ae25042a5e629c5398c4a40a4f5 704f3ce6b65d931e1a86a03e9e30d639 |
author_id_fullname_str_mv |
61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger 704f3ce6b65d931e1a86a03e9e30d639_***_Jens Blanck |
author |
Ulrich Berger Jens Blanck |
author2 |
Ulrich Berger Jens Blanck PETTER KRISTIAN KØBER |
format |
Journal article |
container_title |
Mathematical Structures in Computer Science |
container_volume |
20 |
container_issue |
02 |
container_start_page |
107 |
publishDate |
2010 |
institution |
Swansea University |
issn |
0960-1295 1469-8072 |
doi_str_mv |
10.1017/S096012950999034X |
publisher |
Cambridge University Press |
college_str |
Faculty of Science and Engineering |
hierarchytype |
|
hierarchy_top_id |
facultyofscienceandengineering |
hierarchy_top_title |
Faculty of Science and Engineering |
hierarchy_parent_id |
facultyofscienceandengineering |
hierarchy_parent_title |
Faculty of Science and Engineering |
department_str |
School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science |
document_store_str |
0 |
active_str |
0 |
description |
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. |
published_date |
2010-12-31T03:09:14Z |
_version_ |
1763749872813473792 |
score |
11.021648 |