No Cover Image

Journal article 324 views 65 downloads

On the topological aspects of the theory of represented spaces / Arno Pauly

Computability, Volume: 5, Issue: 2, Pages: 159 - 180

Swansea University Author: Arno, Pauly

Check full text

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

Full description

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: College of Science
Issue: 2
Start Page: 159
End Page: 180