The Property M and Finite Separatedness of Continuous L-Posets

王习娟,卢涛,贺伟
DOI: https://doi.org/10.3321/j.issn:1000-8134.2009.02.003
2009-01-01
Abstract:This paper investigates the relation between continuous L-posets with property M and FS-domains.The main results are:(1)Let P be a continuous L-poset.Then P is finitely generated(as an upper set)and satisfies property M with respect to the basis P if and only if the directed completion of P is an FS-domain.(2)If P is a consistent L-domain, then P is finitely generated(as an upper set)and satisfies property M with respect to the basis P if and only if P is a consistent FS-domain.
What problem does this paper attempt to address?