$RC{A}_0$

$RC{A}_0$ is a weakened form of second order arithmetic. It consists of the axioms of PA other than induction, together with ${\mathrm{\Sigma }}_1^0$ -IND and ${\mathrm{\Delta }}_1^0$ -CA.