Una teoría T* es compañera de modelo de una teoría T si T* es modelo‑completa y todo modelo de T puede embeberse en un modelo de T* (equivalente a que T y T* tienen las mismas consecuencias universales), de modo que T* representa canónicamente el comportamiento existentialmente cerrado relativo a T.

Principio

Un compañero de modelo consolida las consecuencias existenciales de T en una teoría modelo‑completa: completa a T desde la perspectiva model‑teórica garantizando que las embebiciones en modelos del compañero reflejan las propiedades existenciales y eliminan la indeterminación existencial.

Demostración

La teoría de cuerpos algebraicamente cerrados de una característica fija es el compañero de modelo de la teoría de cuerpos de esa característica: todo cuerpo se embebe en un cuerpo algebraicamente cerrado y ACF es modelo‑completa, por lo que ACF es el compañero canónico.

Aplicación incorrecta

Suponer que toda teoría consistente tiene compañero de modelo; en realidad la existencia puede fallar — tomar cualquier extensión modelo‑completa como compañero sin comprobar la preservación de las consecuencias universales conduce a una afirmación incorrecta.

Consecuencia

Cuando existe un compañero de modelo, proporciona un marco sólido para analizar los modelos de T mediante métodos modelo‑completos: los modelos existentialmente cerrados se vuelven objetos centrales, se facilita la reducción de cuantificadores para ciertas fórmulas y el traslado de propiedades existenciales de T a T* es sistemático.

Inversión

Una teoría que amplía T pero no es modelo‑completa (o que no conserva la teoría universal de T) no es compañero de modelo; tal extensión puede añadir estructura pero no ofrece la clausura model‑teórica canónica que caracteriza a un compañero.

Límite

Un compañero puede no existir y no es único salvo hasta equivalencia lógica; el concepto se aplica solo a teorías que comparten la parte universal y no garantiza por sí solo eliminación de cuantificadores ni que toda embebición sea elemental.

Tensión semántica

Se suele confundir compañero de modelo con completación de modelo; la tensión reside en el grado de 'completitud' exigido: los compañeros deben ser modelo‑completos y compartir consecuencias universales con T, mientras que las completaciones exigen además que cada modelo de T se embeba como subestructura en un modelo de la completación.

Síntesis

Un compañero de modelo de T es una teoría modelo‑completa T* que captura el comportamiento existentialmente cerrado compatible con los axiomas universales de T, sirviendo como la clausura model‑teórica que hace accesibles las propiedades existenciales dentro de una teoría compañera canónica.