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

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

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

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

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

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

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

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

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.