# Cointerpretability

This concept, in a sense dual to interpretability, was introduced by Dzhaparidze (1993), who also proved that, for theories of Peano arithmetic and any stronger theories with effective axiomatizations, cointerpretability is equivalent to ${\displaystyle \Sigma _{1}}$-conservativity.