A note on the problem when FS-domains coincide with RB-domains
| Autor: | Zhiwei Zou, Qingguo Li, Lankun Guo |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | Categories and General Algebraic Structures with Applications, Vol 8, Iss 1, Pp 51-60 (2018) |
| Druh dokumentu: | article |
| ISSN: | 2345-5853 2345-5861 |
| Popis: | In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilattice is an FS-domain if and only if it is an RB-domain; an L-domain is an FS-domain if and only if it is an RB-domain. These results are expected to provide useful hints to the open problem of whether FS-domains are identical with RB-domains. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|