Conservation theorems on semi-classical arithmetic
Conservation theorems on semi-classical arithmetic
复制标题
半经典算术守恒定理
DOI：
10.1017/jsl.2022.25
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Makoto Fujiwara and Taishi Kurahashi
中科院分区：
文献类型：
--
作者：
Taishi Kurahashi;Yuya Okawa;V. Yu. Shavrukov and Albert Visser;Makoto Fujiwara and Taishi Kurahashi
系统地研究了介于经典算术之间的半经典算术理论的守恒定理。以同样的方式，我们也刻画了其他研究充分的经典公理或规则的片段类公式的守恒定理。这揭示了守恒定理相对于经典原理的算术层次的整个结构。
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic . In the same manner, we also characterize conservation theorems for other well-studied classes of formulas by fragments of classical axioms or rules. This reveals the entire structure of conservation theorems with respect to the arithmetical hierarchy of classical principles.