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

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

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

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

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

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

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

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

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.