### References & Citations

# Mathematics > Logic

# Title: Conservation theorems on semi-classical arithmetic

(Submitted on 23 Jul 2021 (v1), last revised 13 Mar 2022 (this version, v2))

Abstract: We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf{PA}$ and intuitionistic arithmetic $\mathsf{HA}$. Using a generalized negative translation, we first provide a new structured proof of the fact that $\mathsf{PA}$ is $\Pi_{k+2}$-conservative over $\mathsf{HA} + \Sigma_k\text{-}\mathrm{LEM}$ where $\Sigma_k\text{-}\mathrm{LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $\Sigma_k$. In addition, we show that this conservation theorem is optimal in the sense that for any semi-classical arithmetic $T$, if $\mathsf{PA}$ is $\Pi_{k+2}$-conservative over $T$, then $T$ proves $\Sigma_k\text{-}\mathrm{LEM}$. 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.

## Submission history

From: Taishi Kurahashi [view email]**[v1]**Fri, 23 Jul 2021 17:20:03 GMT (27kb,D)

**[v2]**Sun, 13 Mar 2022 05:30:44 GMT (27kb,D)

Link back to: arXiv, form interface, contact.