La operación o relación de añadir nuevos símbolos (constantes, funciones, relaciones) y especificar sus interpretaciones en una estructura o teoría, produciendo un lenguaje más rico y, posiblemente, nueva información sobre el mismo dominio subyacente. Una expansión puede ser definicional (determinada por la estructura antigua) o genuina (introduciendo opciones independientes).

Principio

La ampliación del vocabulario gobierna la expansión: extender la firma manteniendo fijo el dominio original y los símbolos previamente interpretados, de modo que cada expansión corresponde a una elección de interpretación para los símbolos añadidos compatible con las restricciones existentes.

Demostración

Partiendo de un cuerpo (F,+,·,0,1) se puede expandir añadiendo un símbolo de relación binaria < e interpretándolo como un orden en F; de forma alternativa, expandir un grafo nombrando un vértice particular con un nuevo símbolo constante. Las expansiones definicionales ocurren cuando el nuevo símbolo queda dado por una fórmula explícita en el lenguaje antiguo.

Aplicación incorrecta

Suponer que una expansión es única o canónica cuando no se han proporcionado axiomas definitorios, o confundir que la expansión pueda introducir nuevos elementos: las expansiones solo añaden vocabulario e interpretaciones, no nuevos puntos del dominio salvo que también se extienda el universo.

Consecuencia

Las expansiones aumentan los recursos expresivos: pueden hacer definibles propiedades antes indefinibles, romper automorfismos y producir distinciones semánticas más finas. Desde la teoría de modelos, las expansiones corresponden a enriquecimientos de la firma y pueden cambiar propiedades de clasificación.

Inversión

Reducción: la perspectiva inversa es olvidar los símbolos añadidos. Aunque toda expansión tiene un reducto (la estructura en la lengua más pequeña), no todo reducto admite una única expansión de regreso a la estructura enriquecida original.

Límite

Se aplica a añadir estructura a nivel de símbolos preservando el conjunto subyacente y las interpretaciones originales; no incluye adjuntar nuevos elementos del dominio, construir cocientes ni reinterpretar semánticamente símbolos antiguos. Hay que distinguir expansión definicional (adición conservadora) de expansión no definicional (elección genuina).

Tensión semántica

Expansión versus extensión conservadora: una expansión puede ser conservadora (añadir símbolos definibles en el lenguaje antiguo) o no conservadora (introducir nueva capacidad expresiva); la confusión aparece cuando se equipara ‘añadir notación’ con ‘aumentar poder expresivo’.

Síntesis

Una expansión es el enriquecimiento controlado del lenguaje de una estructura: al añadir símbolos y darles interpretaciones (definicionales o independientes) se obtiene una presentación más rica del mismo dominio subyacente que refina lo que puede expresarse sobre él.