欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一（任一）基具有性质MF.
英文摘要：
The concept of property MF relative to a base of quasicontinuous domain is introduced. It is proved that for a quasicontinuous domain P, the intersection of any two Scott upper compact sets is still Scott compact if and only if P satisfies property MF with respect to any （some） base.
同期刊论文项目
同项目期刊论文
位置：