No Cover Image

Journal article 1244 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.

Check full text

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...

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!
first_indexed 2013-07-23T11:52:09Z
last_indexed 2018-02-09T04:31:26Z
id cronfa5274
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-10-14T15:56:34.7722826</datestamp><bib-version>v2</bib-version><id>5274</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></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>126</paginationEnd><publisher/><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/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-10-14T15:56:34.7722826</lastEdited><Created>2012-02-23T17:01:55.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><order>2</order></author><author><firstname>PETTER KRISTIAN</firstname><surname>K&#xD8;BER</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2015-10-14T15:56:34.7722826 v2 5274 2012-02-23 Domain representations of spaces of compact subsets 61199ae25042a5e629c5398c4a40a4f5 0000-0002-7677-3582 Ulrich Berger Ulrich Berger 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 126 0960-1295 1469-8072 31 12 2010 2010-12-31 10.1017/S096012950999034X COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2015-10-14T15:56:34.7722826 2012-02-23T17:01:55.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 0000-0002-7677-3582 1 JENS BLANCK 2 PETTER KRISTIAN KØBER 3
title Domain representations of spaces of compact subsets
spellingShingle Domain representations of spaces of compact subsets
Ulrich Berger
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
author_id_fullname_str_mv 61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger
author Ulrich Berger
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
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:06:19Z
_version_ 1763749689421725696
score 11.016235

Similar Items