有界算术中可解释性的刻画
逻辑
2016-02-02 v1
摘要
本文处理比较形式算术理论证明论强度的三种工具：可解释性、-守恒性与证明受限一致性。众所周知，在特定条件下这三个概念等价，且该等价常被称为可解释性的 Orey-Hájek 刻画。本文详细考察 Orey-Hájek 刻画，并研究所需的条件以及这些刻画可在何种元理论中形式化。
引用
@article{arxiv.1602.00555,
title = {Characterizations of interpretability in bounded arithmetic},
author = {Joost J. Joosten},
journal= {arXiv preprint arXiv:1602.00555},
year = {2016}
}