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