Journal article 926 views 278 downloads
On the topological aspects of the theory of represented spaces
Computability, Volume: 5, Issue: 2, Pages: 159 - 180
Swansea University Author:
Arno Pauly
-
PDF | Version of Record
Download (223.95KB)
DOI (Published version): 10.3233/COM-150049
Abstract
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented spaces is well-known to exhibit a strong topological flavour...
Published in: | Computability |
---|---|
ISSN: | 22113568 22113576 |
Published: |
2016
|
Online Access: |
Check full text
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa36015 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Abstract: |
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented spaces is well-known to exhibit a strong topological flavour. We present an abstract and very succinct introduction to the field; drawing heavily on prior work by Escardo, Schroeder, and others.Central aspects of the theory are function spaces and various spaces of subsets derived from other represented spaces, and -- closely linked to these -- properties of represented spaces such as compactness, overtness and separation principles. Both the derived spaces and the properties are introduced by demanding the computability of certain mappings, and it is demonstrated that typically various interesting mappings induce the same property. |
---|---|
College: |
Faculty of Science and Engineering |
Issue: |
2 |
Start Page: |
159 |
End Page: |
180 |