Bi-Interpretabilidad

Una equivalencia fuerte entre dos teorías en la que cada una es interpretable en la otra y las dos interpretaciones se componen en interpretaciones definiblemente isomorfas a la identidad; en términos prácticos, las teorías recuperan la estructura de la otra a un isomorfismo definible cerca.