Co-regular集的可计算性探讨
引入了在TTE框架下,利用开集和闭集的表示式,定义了度量空间中co-regular集的若干不等价表示式;并对这些表示式的强弱关系进行了论证.研究表明:这些表示式的强弱,有一个明确的顺序;在被引入的不等价表示式中,η=θ＜∧ψ＞是co-regular集所有表示式中最强的.
作 者： 邱玉文 赵希顺 QIU Yu-wen ZHAO Xi-shun 作者单位： 中山大学逻辑与认知研究所,广东,广州,510275 刊 名： 中山大学学报（自然科学版） ISTIC PKU 英文刊名： ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS SUNYATSENI 年，卷(期)： 2007 46(6) 分类号： O141.3 关键词： 第二类能行性理论 可计算性 表示式 co-regular集