Co-regular集上的可计算算子  

Computable operators on co-regular subsets

作　　者：邱玉文[1] 赵希顺[1] 

机构地区：[1]中山大学逻辑与认知研究所,广州510275

出　　处：《中国学术期刊文摘》2008年第17期10-10,共1页Chinese Science Abstracts(Chinese Edition)

摘　　要：Co-regular集是R^d上的一类集合，在第二类能行性理论（简称TTE）的框架下，研究co-regular集组成的类P上若干算子的可计算性，这些算子主要包括交、并、象、原象、补集的内部运算和开集的co-regularization等。结果表明，此前提出的所有不等价表示式中，只有个别表示式对这些算子是可计算的。

关 键 词：第二类能行性理论 co-regular集 表示式 可计算算子 

分 类 号：O177.1[理学—数学] TP301.4[理学—基础数学]