论文部分内容阅读
给定一个可计算的自然数子集序列R，并假设R没有可计算的内聚集．我们证明：任何一个3-兼纳集合都不能计算R-内聚集；同时，存在一个Martin—Lof随机集，它不能计算R-内聚集．
省略内聚集
【摘 要】
：
给定一个可计算的自然数子集序列R，并假设R没有可计算的内聚集．我们证明：任何一个3-兼纳集合都不能计算R-内聚集；同时，存在一个Martin—Lof随机集，它不能计算R-内聚集．
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2013年1期
【基金项目】
：
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
其他文献
本文主要研究一类具连续时滞的慢扩散三种群互助模型.先研究了一般的含时滞的拋物型方程组,利用上下解方法及相应的单调迭代方法,得到该系统存在唯一解及正平衡解,且该平衡解
本文主要给出L-R Hom-smash积成为monoidal Hom-双代数的充要条件以及L—R Hom—smash积的Maschke定理．
本文研究了α-自反环的推广强α-自反环.对环R和自同态α,若对f（x）,g（x）∈R[x],由f（x）R[x]g（x）=0可得g（x）R[x]α（f（x））=0,则称α是强自反的,环R称为强α-自反环.本文证明了环R是强α-自反环