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.

Principio

Requiere un par de traducciones I: T→S y J: S→T tales que la composición J∘I interpreta T de un modo definiblemente isomorfo a la interpretación identidad de T (y dually para I∘J), asegurando la recuperabilidad mutua de la estructura definible y las propiedades meta‑teóricas.

Demostración

Si T se interpreta en S mediante I y S en T mediante J, y puede definirse en T el isomorfismo que prueba que J∘I actúa como la identidad sobre los objetos definibles de T, entonces T y S son bi‑interpretables; esto ocurre cuando distintos formalismos presentan 'la misma' estructura matemática.

Aplicación incorrecta

Llamar bi‑interpretables a teorías simplemente interpretable mutuamente sin verificar que las composiciones sean definiblemente isomorfas a las identidades; confundir bi‑interpretabilidad con equivalencias más débiles como conservatividad mutua o equivalencia de Morita es un error común.

Consecuencia

La bi‑interpretabilidad implica un emparejamiento estricto de conjuntos definibles, grupos de automorfismos y muchos invariantes modelo‑teóricos; a menudo las teorías comparten las mismas propiedades efectivas y prueba‑teóricas hasta traducción definible.

Inversión

La negación de la bi‑interpretabilidad es la asimetría ordinaria de la interpretabilidad: dos teorías pueden interpretarse mutuamente de modos no invertibles, de modo que una codifica estructura adicional no recuperable por la otra.

Límite

Definida para teorías formales con un marco de definibilidad adecuado; excluye meras equivalencias categóricas de categorías de modelos o coincidencias sintácticas que no proporcionan isomorfismos definibles para las composiciones de interpretaciones.

Tensión semántica

Tensión entre bi‑interpretabilidad y equivalencia definicional o categórica: la bi‑interpretabilidad es más fuerte que muchas nociones pragmáticas de 'misma teoría' pero más débil que la identidad sintáctica literal, lo que provoca debates sobre cuándo considerar teorías verdaderamente iguales.

Síntesis

La bi‑interpretabilidad es la condición de que dos teorías codifiquen exactamente la misma estructura definible de formas mutuamente recuperables: cada una interpreta a la otra y las traducciones de ida y vuelta equivalen a la identidad definible, estableciendo una equivalencia robusta.