王习娟,卢涛,贺伟.L-连续偏序集的M性质与有限分离性[J].数学年刊A辑,2009,30(2):169~176 |
L-连续偏序集的M性质与有限分离性 |
The Property M and Finite Separatedness of Continuous L-Posets |
|
DOI: |
中文关键词: L-连续偏序集 M性质 相容domain |
英文关键词:Continuous L-poset, Property M, FS-domain, Consistent domain |
基金项目:国家自然科学基金 |
Author Name | Affiliation | E-mail | WANG Xijuan | School of Mathematics and Computer Sciences, Nanjing Normal University,
Nanjing 210097, China.,Lianyungang Teacher’s College, Lianyungang 222006, Jiangsu, China. | wangxijuan69@163.com | LU Tao | School of Mathematics and Computer Sciences, Nanjing Normal University,
Nanjing 210097, China.,School of Science, Jiangnan University, Wuxi 214063, Jiangsu, China. | lutao7@live.com | HE Wei | School of Mathematics and Computer Sciences, Nanjing Normal University,
Nanjing 210097, China. | weihe@njnu.edu.cn |
|
Hits: 824 |
Download times: 734 |
中文摘要: |
讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果: (1)若P为L-连续偏序集,则P是有限卜集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain. |
英文摘要: |
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. |
View Full Text View/Add Comment Download reader |
Close |
|
|
|
|
|