𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Domain representations of topological sp
✍ Jens Blanck πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 193 KB

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,

Normal Domain Representations of Topolog
✍ Ivar Rummelhoff πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 105 KB πŸ‘ 2 views

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.

Three topological structures of smooth t
✍ Mustafa Demirci πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 360 KB

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

A category of compositional domain-model
✍ Fabio Alessi; Paolo Baldan; Furio Honsell πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 463 KB

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