##  [Extensión Elementaria](/es/node/63985) 

 Definición

Una estructura B es una extensión elemental de una estructura A (mismo lenguaje de primer orden) si A es una subestructura elemental de B; equivalentemente, toda fórmula de primer orden con parámetros de A se cumple en A exactamente cuando se cumple en B. Se denota B ≻ A.

 

 

 

 

 

 





## Principio

Principio

Una extensión elemental añade elementos (o interpretaciones) sin cambiar la verdad de las fórmulas de primer orden que toman como referencia los elementos originales; extiende el dominio preservando todas las propiedades parametrizadas del modelo menor.

 

 

 

 

 





## Demostración

Demostración

Los ultraproductos dan ejemplos canónicos: para cualquier estructura A y ultrafiltro no principal U, el ultraproducto A^I/U es una extensión elemental de A mediante la inclusión diagonal. Aparecen nuevos elementos en el ultraproducto, pero todas las fórmulas con parámetros en A conservan su valor de verdad.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Confundir una mera extensión (A ⊆ B) con extensión elemental; por ejemplo, agregar constantes o elementos arbitrariamente para formar B no garantiza elementalidad — pueden volverse verdaderas en B afirmaciones existenciales que eran falsas en A.

 

 

 

 

 





## Consecuencia

Consecuencia

Las extensiones elementales permiten argumentos de saturación, realización de tipos ausentes en A y transferencia controlada de teorías; son fundamentales para construir modelos con cardinalidad o propiedades de saturación deseadas manteniendo la teoría parametrizada del modelo original.

 

 

 

 

## Inversión

Inversión

La reversión es la subestructura elemental de un modelo dado; desde la perspectiva inversa, una extensión elemental puede añadir realizaciones de tipos no presentes antes, mientras que una extensión no elemental cambia valores de verdad de ciertas fórmulas con parámetros originales.

 

 

 

 

 





## Límite

Límite

Se aplica en contextos de primer orden y a estructuras en el mismo lenguaje; la existencia de extensiones elementales con propiedades específicas depende de compacidad, Löwenheim–Skolem y construcciones por ultraproducto; no toda propiedad deseada es alcanzable sin supuestos adicionales de teoría de conjuntos.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Tensión entre 'extensión conservadora' de teorías y extensión elemental de modelos: una extensión conservadora preserva teoremas en un lenguaje, mientras que una extensión elemental preserva la verdad de fórmulas con parámetros en un modelo específico; son nociones relacionadas pero distintas.

 

 

 

 

 





## Síntesis

Síntesis

Una extensión elemental es una superestructura que amplía el dominio de un modelo preservando la verdad de todas las fórmulas de primer orden con parámetros del modelo original, permitiendo la adición controlada de elementos sin alterar las propiedades parametrizadas de primer orden.