Informatics Report Series


Report   

EDI-INF-RR-0638


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Computing with Sequences, Weak Topologies and the Axiom of Choice
Authors: Matthias Schroeder ; Vasco Brattka
Date:Aug 2005
Publication Title:Proceedings of CSL 2005 (Conference for Computer Science Logic)
Publisher:Springer
Publication Type:Conference Paper Publication Status:Published
Volume No:3634 Page Nos:462-476
Abstract:
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines. We prove that under the Axiom of Choice non-separable normed spaces cannot even be admissibly represented with respect to any compatible topology (a compatible topology is one which makes all bounded linear functionals continuous). Surprisingly, it turns out that when one replaces the Axiom of Choice by the Axiom of Dependent Choice and the Baire Property, then some non-separable normed spaces can be represented admissibly on Turing machines with respect to the weak topology (which is just the weakest compatible topology). Thus the ability to adequately handle sequence spaces on Turing machines sensitively relies on the underlying axiomatic setting.
Links To Paper
No links available
Bibtex format
@InProceedings{EDI-INF-RR-0638,
author = { Matthias Schroeder and Vasco Brattka },
title = {Computing with Sequences, Weak Topologies and the Axiom of Choice},
book title = {Proceedings of CSL 2005 (Conference for Computer Science Logic)},
publisher = {Springer},
year = 2005,
month = {Aug},
volume = {3634},
pages = {462-476},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh