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

 Definición

Una estructura N es una extensión elemental de una estructura M (misma firma) si M es subestructura elemental de N; equivalentemente, toda fórmula de primer orden con parámetros en M tiene el mismo valor de verdad en M y en N. Notación: M ≺ N o N ⪰ M.

 

 

 

 

 

 





## Principio

Principio

La idea central es ampliar un modelo sin alterar ninguna verdad de primer orden sobre los elementos del modelo menor: extensiones que añaden elementos nuevos pero no cambian las fórmulas con parámetros del dominio original.

 

 

 

 

 





## Demostración

Demostración

Ejemplo: Tomar un modelo numerable M de una teoría completa y construir una extensión elemental N suficientemente saturada que realice tipos adicionales sobre M; N contiene entonces nuevos elementos que realizan tipos omitidos en M, preservando todas las verdades de primer orden sobre los n‑tuplos de M.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Suponer que cualquier supermodelo propio es automáticamente elemental, o que toda inclusión en una estructura mayor preserva todas las fórmulas parametrizadas; confundir extensión elemental con mera extensión o con equivalencia elemental sin inmersión real.

 

 

 

 

 





## Consecuencia

Consecuencia

Las extensiones elementales permiten realizar tipos, hacer construcciones usando compacidad y comparar modelos por saturación y cardinalidad, garantizando que las propiedades internas de M en primer orden permanezcan invariables.

 

 

 

 

## Inversión

Inversión

Una extensión no elemental es una superestructura que, aunque contenga a M, hace que algunas afirmaciones de primer orden sobre tuplas de M sean verdaderas o falsas de forma distinta que en M.

 

 

 

 

 





## Límite

Límite

La elementaridad como extensión depende de la firma y los parámetros permitidos; no asegura la preservación de enunciados de orden superior ni de propiedades metamatemáticas como la cardinalidad, salvo que puedan expresarse en primer orden.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Existe tensión entre las extensiones elementales y otras nociones de ampliación (por ejemplo cierres algebraicos o topológicos): la extensión elemental preserva la teoría de primer orden con parámetros, mientras que otros cierres preservan otros rasgos estructurales.

 

 

 

 

 





## Síntesis

Síntesis

Una extensión elemental N de M es una superestructura que añade elementos o testigos sin cambiar los hechos de primer orden respecto a los elementos de M; es la forma controlada de agrandar modelos manteniendo a M intacta desde la perspectiva de la lógica de primer orden.