首页> 外文期刊>Israel Journal of Mathematics >The weakness of being cohesive, thin or free in reverse mathematics
【24h】

The weakness of being cohesive, thin or free in reverse mathematics

机译:逆向数学的凝聚力,薄弱或自由的弱点

获取原文
           

摘要

Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this paper, we investigate the lack of robustness of Ramsey's theorem and its consequence under the frameworks of reverse mathematics and computable reducibility. To this end, we study the degrees of unsolvability of cohesive sets for different uniformly computable sequence of sets and identify different layers of unsolvability. This analysis enables us to answer some questions of Wang about how typical sets help computing cohesive sets.
机译:非正式地,如果数学陈述的强度在陈述的变化下保持不变,则它是健壮的。在本文中,我们研究了在逆数学和可计算可约性的框架下,拉姆西定理缺乏鲁棒性及其后果。为此,我们研究了不同集合的统一可计算序列的粘性集合的不可溶程度,并确定了不可溶的不同层。这种分析使我们能够回答Wang的一些有关典型集合如何帮助计算内聚集合的问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号