4 search results - page 1 / 1 » Topological and Limit-Space Subcategories of Countably-Based... |
MSCS
2002
13 years 4 months ago
2002
ENTCS
2008
13 years 4 months ago
2008
: 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 ...
MLQ
2002
13 years 4 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
ENTCS
2006
13 years 4 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...