A note on the problem when FS-domains coincide with RB-domains
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 approxima...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2018-01-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | http://www.cgasa.ir/article_47217_df93e16f640375823b7ff13404710dde.pdf |