By Friedman translation $HA$ and $PA$ prove the same $\Pi_2$ formulas. Is it true for Intutionistic Robinson arithmetic and classic Robinson arithmetic?
For every $\Pi_2$ formula $\phi$, $Q\vdash_c \phi$ iff $Q\vdash_i \phi$
Thanks.
By Friedman translation $HA$ and $PA$ prove the same $\Pi_2$ formulas. Is it true for Intutionistic Robinson arithmetic and classic Robinson arithmetic?
For every $\Pi_2$ formula $\phi$, $Q\vdash_c \phi$ iff $Q\vdash_i \phi$
Thanks.