| Co-regular集的可计算性探讨 |
| |
| 引用本文： | 邱玉文,赵希顺.Co-regular集的可计算性探讨[J].中山大学学报(自然科学版),2007,46(6):14-17. |
| |
| 作者姓名： | 邱玉文 赵希顺 |
| |
| 作者单位： | 中山大学逻辑与认知研究所 广东广州510275 |
| |
| 摘 要： | 引入了在TTE框架下,利用开集和闭集的表示式,定义了度量空间中co-regular集的若干不等价表示式;并对这些表示式的强弱关系进行了论证。研究表明:这些表示式的强弱,有一个明确的顺序;在被引入的不等价表示式中,η:=θ<∧ψ>是co-regular集所有表示式中最强的。
|
| 关 键 词： | 第二类能行性理论 可计算性 表示式 co-regular集 |
| 文章编号： | 0529-6579（2007）06-0014-04 |
| 收稿时间： | 2007-04-18 |
| 修稿时间： | 2007年4月18日 |
Computability of Co-regular Subsets on Metric Spaces |
| |
| QIU Yu-wen,ZHAO Xi-shun.Computability of Co-regular Subsets on Metric Spaces[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,2007,46(6):14-17. |
| |
| Authors: | QIU Yu-wen ZHAO Xi-shun |
| |
| Abstract: | |
| |
| Keywords: | type-2 theory of effectivity computability representations co-regular subset |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
