## [Test de Tarski‑Vaught](/es/node/60388) Definición 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 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 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 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 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 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 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 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 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.