Skip to main content
1 of 7
Erfan Khaniki
  • 1.7k
  • 1
  • 11
  • 17

Intutionistic Robinson Arithmetic

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.

Erfan Khaniki
  • 1.7k
  • 1
  • 11
  • 17