Co-regular集上的可计算算子

摘要：

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

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

所属期刊栏目：46

分类号：O141.3(数理逻辑、数学基础)

资助基金：国家自然科学基金60573011

在线出版日期：2008-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：397-402