##  [Completitud de Modelos](/es/node/63596) 

 Definición

Propiedad de una teoría del primer orden T que afirma que todo inmersión (embedding) entre modelos de T es una inmersión elemental; equivalentemente, toda fórmula es T-equivalente a una fórmula existencial (o a una universal tras negación), de modo que la verdad se preserva bajo los inmersiones entre modelos.

 

 

 

 

 

 





## Principio

Principio

Reducir la verdad de fórmulas arbitrarias a aserciones existenciales: si los embeddings son elementales, la complejidad sintáctica puede comprimirse a forma existencial, permitiendo transferir propiedades definibles a través de embeddings.

 

 

 

 

 





## Demostración

Demostración

La teoría de cuerpos algebraicamente cerrados de característica fija es model-complete: cualquier inmersión de un cuerpo algebraicamente cerrado en otro es elemental y muchas condiciones definibles se expresan mediante ecuaciones polinómicas existenciales.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Tratar una teoría model-complete como si tuviera eliminación total de cuantificadores; la completitud por modelos no implica que toda fórmula sea libre de cuantificadores, por lo que asumir eliminación de cuantificadores cuando no existe es incorrecto.

 

 

 

 

 





## Consecuencia

Consecuencia

Se obtiene un sólido teorema de preservación: las consecuencias existenciales gobiernan el comportamiento de las extensiones, los compañeros de modelo (cuando existen) suelen ser model-complete, y muchos argumentos de transferencia se reducen a comprobar fórmulas existenciales.

 

 

 

 

## Inversión

Inversión

Una teoría no model-complete admite embeddings entre modelos que no son elementales; algunas fórmulas cambian su valor de verdad con embeddings, de modo que las fórmulas existenciales no bastan para capturar todas las propiedades definibles.

 

 

 

 

 





## Límite

Límite

Se aplica a teorías de primer orden en un lenguaje fijo; la completitud por modelos es una propiedad sintáctico-semántica de teorías, no de clases arbitrarias de estructuras fuera de la primera orden o sin lenguaje especificado.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Cercana a la eliminación de cuantificadores pero estrictamente más débil: la eliminación de cuantificadores exige equivalencia a fórmulas sin cuantificadores, mientras que la completitud por modelos sólo exige equivalencia a fórmulas existenciales; distinta también de la completitud de la teoría.

 

 

 

 

 





## Síntesis

Síntesis

La completitud por modelos significa que los embeddings preservan todas las verdades de primer orden y que el contenido de la teoría puede verificarse mediante descripciones existenciales; agiliza argumentos modelo-teóricos sin requerir eliminación completa de cuantificadores.