• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >The strength of SCT soundness
【24h】

The strength of SCT soundness

机译：SCT强度的优势

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper we continue the study, from Frittaion, Steila and Yokoyama (2017, Theory and Applications of Models of Computation 14th Annual Conference, Bern, Switzerland, April 20-22, 2017), on size-change termination (SCT) in the context of Reverse Mathematics. We analyse the soundness of the SCT method. In particular, we prove that the statement 'any programme which satisfies the combinatorial condition provided by the SCT criterion is terminating' is equivalent to WO(omega(3)) over RCA(0).
机译：在本文中，我们继续研究Frittaion，Steila和Yokoyama（2017年，第14届计算模型理论与应用年会，瑞士伯尔尼，2017年4月20日至22日）中的尺寸变化终止（SCT）。逆数学的背景。我们分析了SCT方法的合理性。特别是，我们证明“满足SCT准则所提供的组合条件的任何程序都将终止”的语句等效于RCA（0）上的WO（omega（3））。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号