位置:成果数据库 > 期刊 > 期刊详情页
每一个非零的可计算可枚举强有界图灵度都具有反成杯性质
  • 时间:0
  • 分类:O142[理学—数学;理学—基础数学]
  • 作者机构:[1]中山大学逻辑与认知研究所,广州510275
  • 相关基金:Supported by NSF Grant 11001281 of China and an NCET grant from the Ministry of Education of China. The author thanks Mingzhong Cai for bringing an interesting question to his attention
中文摘要:

给定一个可计算的自然数子集序列R,并假设R没有可计算的内聚集.我们证明:任何一个3-兼纳集合都不能计算R-内聚集;同时,存在一个Martin—Lof随机集,它不能计算R-内聚集.

英文摘要:

We prove that if R is a computable sequence of subsets of ω which admits no computable cohesive set, then no 3-generic computes any R-cohesive set; and there exists a Martin-LSf random which computes no R-cohesive set.

同期刊论文项目
同项目期刊论文