Scifaro

中文

良序原则的证明论强度

逻辑 2019-05-22 v7

作者: Toshiyasu Arai

在 arXiv 上查看 ↗ PDF ↗

摘要

在本注记中，序数上正规函数 ${\sf g}$ 的良序原则的证明论序数被证明等于 ${\sf g}$ 的最小不动点。此外，对先前论文中的错误进行了修正。

关键词

证明论良序原则序数正规函数不动点

引用

@article{arxiv.1811.09964,
  title  = {Proof-theoretic strengths of the well ordering principles},
  author = {Toshiyasu Arai},
  journal= {arXiv preprint arXiv:1811.09964},
  year   = {2019}
}

备注

arXiv admin note: text overlap with arXiv:1704.08790