title: Strongly semicontinuous domains and semi-FS domains.
abstract: We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpo L is strongly semicontinuous if and only if L is semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. Some interpolation properties of semiway-below relations in (strongly) semicontinuous bc-domains are given. In terms of these properties, it is proved that strongly semicontinuous bc-domains, in particular strongly semicontinuous lattices, are all semi-FS domains.
authors.affiliation: Department of Mathematics, Yangzhou University, Yangzhou 225002, China.
authors.forename: Qingyu
authors.initials: Q
authors.lastname: He
authors.affiliation: Department of Mathematics, Yangzhou University, Yangzhou 225002, China.
authors.forename: Luoshan
authors.initials: L
authors.lastname: Xu
mesh_terms: D000465:Algorithms; D008962:Models, Theoretical