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

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

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

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

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

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

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

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

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.