##  [Cadena Elemental](/es/node/61012) 

 Definición

Una familia linealmente ordenada (M_i : i ∈ I) de estructuras en un lenguaje fijo tal que para cada i

 

 

 

 

 

 





## Principio

Principio

Construir modelos mayores extendiendo sucesivamente mediante embeddings elementales para que la verdad de las fórmulas de primer orden se preserve en cada etapa y la unión sea una extensión elemental de cada miembro.

 

 

 

 

 





## Demostración

Demostración

Dada una cadena (M_n)_{n∈ω} con M_n ⊨ T y M_n ≺ M_{n+1}, la unión ⋃_{n} M_n es un modelo de T y una extensión elemental de cada M_n; esta técnica construye extensiones elementales contables o límites directos en teoría de modelos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Asumir que uniones indexadas arbitrariamente preservan la teoría sin comprobar direccionabilidad o elementalidad; o tratar cadenas de inclusión (no elementales) como cadenas elementales, lo cual puede romper la preservación de fórmulas.

 

 

 

 

 





## Consecuencia

Consecuencia

Las cadenas permiten obtener modelos límite, controlar la saturación por aproximaciones y demostrar resultados de existencia (por ejemplo, modelos saturados mediante uniones de cadenas crecientes de extensiones elementales).

 

 

 

 

## Inversión

Inversión

Trabajar con cadenas no elementales o con sistemas dirigidos arbitrarios de embeddings donde las fórmulas no se preservan puntualmente, obligando a reverificar la verdad en el límite.

 

 

 

 

 





## Límite

Límite

Una cadena elemental requiere elementalidad en las etapas sucesoras; secuencias crecientes arbitrarias de subestructuras que no son embeddings elementales quedan excluidas; la propiedad es la preservación de la verdad de primer orden, no mera inclusión isomorfa.

 

 

 

 

 





## Tensión semántica

Tensión semántica

La expresión compite con la idea informal de cualquier secuencia creciente de estructuras; la exigencia técnica de embedding elemental la distingue de las cadenas ordinarias de subestructuras.

 

 

 

 

 





## Síntesis

Síntesis

Una cadena elemental es una familia creciente y linealmente ordenada de estructuras vinculadas por embeddings elementales de modo que su unión actúe como una extensión elemental coherente que preserva la verdad de primer orden.