Un criterio sintáctico para determinar cuándo una subestructura A de una estructura M (en un lenguaje de primer orden dado) es una subestructura elemental: A es elemental en M si y solo si para toda fórmula φ(x,y) y todo tuplo a de A, si M satisface ∃x φ(x,a) entonces existe b en A tal que M satisface φ(b,a). Equivalentemente, A está cerrada bajo encontrar testigos existenciales en M para fórmulas con parámetros en A.

Principio

La elementalidad puede comprobarse por existencia de testigos: para ser subestructura elemental, una subestructura debe contener en sí misma testigos para cada afirmación existencial verdadera en la estructura mayor con parámetros de la subestructura.

Demostración

En la construcción por el lema de Löwenheim–Skolem descendente suele verificarse la elementalidad del submodelo construido comprobando el criterio de Tarski‑Vaught: al añadir contablemente muchos testigos para fórmulas existenciales sobre un conjunto creciente, el conjunto límite satisface el criterio y por ello es un submodelo elemental de la estructura original.

Aplicación incorrecta

Usar únicamente fórmulas universales u olvidar permitir parámetros de la subestructura al aplicar el test; otro error es suponer que el test se aplica sin cambio en lógicas más allá de la primera orden sin atender a características semánticas adicionales de esas lógicas.

Consecuencia

El test es una herramienta práctica para construir y reconocer submodelos elementales, permitiendo la construcción de cadenas de subestructuras elementales, caparazones de Skolem y aplicaciones en argumentos de compacidad y reducciones modelo‑teóricas.

Inversión

El fallo del test evidencia la no elementalidad: existe alguna fórmula existencial con parámetros en A que se satisface en M pero no tiene testigo en A, por lo que A omite una propiedad existencial de M y no puede ser elemental.

Límite

Se aplica en lógica de primer orden a subestructuras de un modelo dado en un lenguaje fijo; presupone la semántica habitual en la que la cuantificación existencial es atestiguada por elementos y no se generaliza automáticamente a lógicas de orden superior o logias infinitarias sin modificaciones.

Tensión semántica

El test de Tarski‑Vaught es una condición de testigos existenciales que complementa caracterizaciones más semánticas o por ida y vuelta de la elementalidad (como la satisfacción de todas las fórmulas o argumentos por isomorfismos parciales); la tensión surge al elegir un método práctico para verificar la elementalidad en construcciones concretas.

Síntesis

El test de Tarski‑Vaught reduce la tarea universal de comprobar la verdad de todas las fórmulas a verificar la existencia de testigos para fórmulas existenciales con parámetros: una subestructura es elemental exactamente cuando está cerrada bajo testigos existenciales, lo que lo convierte en un criterio central y verificable en la construcción de modelos.