Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 14 / Issue 6

available in:   PDF (235 kB) PS (211 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-014-06-0996


On the Relationship between Filter Spaces and Weak Limit Spaces

Matthias Schröder (Universität der Bundeswehr, Germany)

Abstract: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the class of spaces which can be handled by the Type-2 Model of Effectivity (TTE). We prove that the category of countably based proper filter spaces is equivalent to the category of countably based weak limit spaces. This result implies that filter spaces form yet another category from which the category of qcb-spaces inherits its cartesian closed structure. Moreover, we compare the aforementioned categories to other categories of spaces relevant to computability theory.

Keywords: QCB-spaces, convenient categories, equilogical spaces, filter spaces, higher type computation, topological spaces, weak limit spaces

Categories: F.2, F.4.1, G.1.4