Informatics Report Series
Report
 EDI-INF-RR-0630
 Related Pages Report (by Number) Index Report (by Date) Index Author Index Institute Index Home
Authors: Matthias Schroeder
Date:Jul 2002
Publication Title:Theoretical Computer Science
Publisher:Elsevier
Publication Type:Journal Article Publication Status:Published
Volume No:284(2) Page Nos:519-538
DOI:10.1016/S0304-3975(01)00109-8
Abstract:
We give a new definition of admissible representations which allows to handle also non countably based topological spaces in the framework of TTE (Type-2 Theory of Effectivity). We prove that admissible representations $\delta_X,\delta_Y$ of topological spaces $X,Y$ have the desirable property that every partial function $f: \subseteq X \to Y$ is continuously realizable with respect to $\delta_X,\delta_Y$ if and only if $f$ is sequentially continuous. Furthermore, we characterize the class of the spaces having an admissible representation. Many interesting operators creating new topological spaces from old ones are shown to preserve the property of having an admissible representation. In particular, the class of sequential spaces with admissible representations turns out to be cartesian-closed. Thus a reasonable computability theory is possible on important non countably-based spaces.
Bibtex format
@Article{EDI-INF-RR-0630,
author = { Matthias Schroeder },