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 |