海廷算术上的直觉主义不动点理论
逻辑
2013-04-11 v1
摘要
在本文中，我们证明了关于不动点的直觉主义理论相对于某一类公式在海廷算术上是保守的。这部分地推广了我之前的结果。该证明受到 G. Mints 的快速切割消除法的启发。
引用
@article{arxiv.1005.1991,
title = {Intuitionistic fixed point theories over Heyting arithmetic},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1005.1991},
year = {2013}
}