Scifaro

中文

SCT判据的强度

逻辑 2016-11-17 v1 计算机科学中的逻辑

作者: Emanuele Frittaion , Silvia Steila , Keita Yokoyama

在 arXiv 上查看 ↗ PDF ↗

摘要

我们在逆数学的背景下对尺寸变化分析展开研究。特别地，我们证明了在RCA $_0$ 上，SCT判据等价于 $\Sigma^0_2$ -归纳。

关键词

尺寸变化分析 SCT判据逆数学 Sigma-0-2归纳 RCA_0

引用

@article{arxiv.1611.05176,
  title  = {The strength of the SCT criterion},
  author = {Emanuele Frittaion and Silvia Steila and Keita Yokoyama},
  journal= {arXiv preprint arXiv:1611.05176},
  year   = {2016}
}

备注

15 pages