通过消除切割证明 $ID_1$ 的 Epsilon 代换
逻辑
2015-09-02 v1
摘要
-代换方法是一种为算术理论给出一致性证明的技术。我们使用该技术，利用 Mints 引入的消除切割形式的一个变体，给出了非直谓理论 的一致性证明。
引用
@article{arxiv.1509.00390,
title = {Epsilon Substitution for $ID_1$ via Cut-Elimination},
author = {Henry Towsner},
journal= {arXiv preprint arXiv:1509.00390},
year = {2015}
}