A note on the consistency operator
A note on the consistency operator
复制标题
关于一致性运算符的注释
DOI：
10.1090/proc/14948
复制
发表时间：
2020
影响因子：
1
通讯作者：
Walsh, James
中科院分区：
文献类型：
--
作者：
Walsh, James
这是一个众所周知的经验观察，自然公理理论是预先良好有序的证明理论的力量。对于任何自然理论，下一个最强的自然理论是。我们制定并证明了一个声明的效果，一致性算子是最弱的自然方式，以一致地扩展公理理论。引用
It is a well-known empirical observation that natural axiomatic theories are pre-well-ordered by proof-theoretic strength. For any natural theory, the next strongest natural theory is. We formulate and prove a statement to the effect that the consistency operator is the weakest natural way to uniformly extend axiomatic theories. References
DOI：
10.1016/0168-0072(95)00007-4
发表时间：
1995
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
L. Beklemishev
通讯作者：
L. Beklemishev
DOI：
10.1017/jsl.2018.65
发表时间：
2017
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
A. Montalbán;J. Walsh
通讯作者：
J. Walsh