省略内聚集（英文）

OMITTING COHESIVE SETS

下载PDF

导出

摘要给定一个可计算的自然数子集序列向量R,并假设向量R没有可计算的内聚集.我们证明:任何一个3-兼纳集合都不能计算向量R-内聚集;同时,存在一个Martin-Lf随机集,它不能计算向量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.

作者王玮

机构地区中山大学逻辑与认知研究所

出处《南京大学学报（数学半年刊）》 CAS 2013年第1期40-47,共8页 Journal of Nanjing University(Mathematical Biquarterly)

基金 Supported by NSF Grant 11001281 of China and an NCET grant from the Ministry of Education of China

关键词内聚集兼纳集随机集可计算 cohesive set, Cohen generic, Martin-Lof random, reverse mathematics

分类号 O151.2 [理学—基础数学]

引文网络
相关文献

参考文献7

1Peter A, Cholak, Carl G. Jockusch, and Theodore A. Slaman. On the Strength of Ramsey's Theorem for Pairs. J. Symbolic Logic, 2001, 66(1): 1-55.
2Rod Downey and Denis Hirschfeldt. Algorithmic Randomness and Complexity. Theory and Appli- cations of Computability. Springer, 2010.
3Denis R. Hirschfeldt and Richard A. Shore. Combinatorial Principles Weaker Than Ramsey's The- orem for Pairs. J. Symbolic Logic, 2007, 72(1): 171-206.
4Carl Jockusch and Frank Stephan. A Cohesive Set which is Not High. Math. Logic Quart., 1993, 39(4): 515-530.
5Antonfn Kucera. Measure, П^01-classes and Complete Extensions of PA. Recursion theory week (Oberwolfach, 1984), volume 1141 of Lecture Notes in Math., pages 245-259. Springer, Berlin, 1985.
6Stephen G. Simpson. Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1999.
7Robert I. Soare. Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic, Omega Series. Springer-Verlag, Heidelberg, 1987.

1段宝彬,丁芳清,张林松.模糊随机变量序列的一个强大数定律[J].合肥学院学报（自然科学版）,2007,17(4):1-3.
2郝凤歧.局部紧致群中可测子集序列的渐近性质[J].清华大学学报（自然科学版）,1990,30(3):17-22.
3王子华.wppl-空间的遗传性的一个注记[J].德州学院学报,2004,20(6):17-19.
4林永伟,吴汉民,叶可心,丁昌明.有关链极限集的一个Conley定理[J].杭州师范学院学报（自然科学版）,2002,1(3):14-16.
5A　BRIEF　ACCOUNT　OF　JOURNAL　OF　HYDRODYNAMICS　（ISSN1000－4874）－the　Official　Journal　of　Physical　Science　and　Technology（Quarterly）[J].Journal of Hydrodynamics,1994,6(1):109-109.
6张增喜.用含有整数参数的序列——二元序列估计Sierpinski垫片的Hausdorff测度[J].首都师范大学学报（自然科学版）,1999,20(1):1-6. 被引量：2
7宋方敏.在Martin－Lof类型论中添加判断的新形式[J].数学年刊（A辑）,1994,1(2):177-184.
8杨旭.超空间2~X的局部覆盖性质[J].Journal of Mathematical Research and Exposition,1994,14(4):517-521. 被引量：2
9宋方敏.Martin-Lf类型论中不交和的推广和有穷类型的可定义性[J].数学年刊（A辑）,1994,1(4):472-477.
10曾朝英,苏雅拉图.几种类型的凸性空间与逼近紧及度量投影的关系[J].内蒙古大学学报（自然科学版）,2010,41(1):28-33.

南京大学学报（数学半年刊）

2013年第1期

浏览历史

内容加载中请稍等...

省略内聚集（英文）

参考文献7

相关作者

相关机构

相关主题

浏览历史