A domain representation of a topological space X is a function, usually a quotient map, from a subset of a domain onto X . Several di erent classes of domain representations are introduced and studied. It is investigated when it is possible to build domain representations from existing ones. It is,
Domain theoretic models of topological spaces
β Scribed by Keye Martin
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 556 KB
- Volume
- 13
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
D β D is a normal totality on a Scott domain D if it is upward closed and x y β D is an equivalence relation on D . We prove that every topological space can be represented by a domain with normal totality.
Various concepts related to smooth topological spaces have been introduced, and relations among them studied by several authors [-2-6]. In this paper we introduce the notions of smooth, quasi-smooth and weak smooth structure, showing that various properties of a smooth topological space can be expre
In this paper we introduce SFP M , a category of SFP domains which provides very satisfactory domain-models, i.e. "partializations", of separable Stone spaces (2-Stone spaces). More speciΓΏcally, SFP M is a subcategory of SFP ep , closed under direct limits as well as many constructors, such as lifti