## [Bi-Interpretabilidad](/es/node/60144) Definición 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 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 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 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 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 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 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 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 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.