Stone duality and representation of stable domain
In this paper, the author studies the Stone duality and representation of L-domain w.r.t. stable functions. Two basic notions are introduced, one is D-semilattice and the other is semitopological system. The author first gives the representation of stable D-lattice, then establishes the representati...
Uložené v:
| Vydané v: | Computers & mathematics with applications (1987) Ročník 34; číslo 1; s. 27 - 41 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier Ltd
1997
|
| Predmet: | |
| ISSN: | 0898-1221, 1873-7668 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Shrnutí: | In this paper, the author studies the Stone duality and representation of
L-domain w.r.t. stable functions. Two basic notions are introduced, one is
D-semilattice and the other is semitopological system. The author first gives the representation of stable
D-lattice, then establishes the representation theorem of
L-domain and gives the Stone duality of
L-domains w.r.t. stable functions in the scheme of lattice. The author introduces the theory of semitopological systems, which is a generalization of Vickers' topological systems. By using it, the author gives the Stone duality of
L-domains w.r.t. stable functions and that of Scott domains w.r.t. functions preserving the directed sups and meets of nonempty subsets in the scheme of topology. |
|---|---|
| Bibliografia: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISSN: | 0898-1221 1873-7668 |
| DOI: | 10.1016/S0898-1221(97)00096-5 |