No Cover Image

Journal article 696 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!
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">College of Science</level><level id="2">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&#xD8;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 College of 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 College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of 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:17:42Z
_version_ 1737024300747063296
score 10.887713