Propiedad en teoría de modelos de una estructura que afirma que todo tipo (conjunto de fórmulas) con parámetros de cualquier subconjunto de tamaño menor que un cardinal dado κ que es finitamente satisfacible en la estructura es realizado en la estructura; equivalentemente, todos los tipos consistentes sobre conjuntos de parámetros pequeños se realizan.

Principio

La κ-saturación garantiza que las restricciones locales finitamente consistentes sobre conjuntos de parámetros de tamaño < κ tienen testigos reales en el modelo, produciendo una abundancia de realizaciones que ajusta la capacidad expresiva del modelo al cardinal κ e impide la omisión de tipos pequeños.

Demostración

Un modelo ℵ0-saturado (saturación numerable) realiza todo tipo sobre conjuntos de parámetros finitos que sea finitamente satisfacible; por ejemplo, un cuerpo algebraicamente cerrado saturado de grado de trascendencia incontable realiza todos los 1‑tipos sobre conjuntos contables, asegurando la existencia de elementos con relaciones algebraicas prescritas respecto a esos parámetros.

Aplicación incorrecta

Confundir saturación con completitud del modelo o con completitud de la teoría: una teoría puede ser completa sin que sus modelos sean κ-saturados, y un modelo κ-saturado no hace necesariamente decidible a la teoría; interpretar la saturación como una propiedad sintáctica de la teoría en lugar de una propiedad semántica de los modelos conduce a conclusiones erróneas sobre la realizabilidad en modelos arbitrarios.

Consecuencia

Un modelo κ-saturado es altamente homogéneo y flexible: los tipos sobre conjuntos pequeños se realizan, lo que permite construcciones back-and-forth para isomorfismos, el traslado de secuencias indiscernibles y un control fuerte de los grupos de automorfismos; los modelos saturados suelen funcionar como modelos canónicos grandes en teoría de la clasificación.

Inversión

La negación — un modelo que no es κ-saturado — omite algún tipo finitamente satisfacible sobre un conjunto de parámetros de tamaño < κ; tal omisión puede indicar rigidez, lagunas en la realización o un comportamiento «pequeño» incompleto que obstruye los argumentos back-and-forth.

Límite

La saturación es una propiedad semántica de modelos individuales relativa a un cardinal κ y depende del tamaño del lenguaje; es relevante para teorías de primer orden y exige atención a la aritmética de cardinales (p. ej., la existencia de modelos κ-saturados puede requerir cardinalidades grandes o hipótesis adicionales de teoría de conjuntos); no se transfiere automáticamente entre modelos de distintas cardinalidades.

Tensión semántica

Tensión entre saturación y nociones relacionadas: saturación vs compacidad (la compacidad asegura la satisfacibilidad finita de conjuntos de enunciados, mientras que la saturación exige la realización de tipos), y saturación vs modelo‑completitud o categoricidad; estas nociones se solapan pero son lógicamente distintas y orientan aplicaciones de maneras diferentes.

Síntesis

La κ-saturación encapsula la idea de que un modelo es tan realizacionalmente completo como lo permite el cardinal κ: toda restricción pequeña y finitamente satisfacible tiene un testigo, produciendo modelos ricos, homogéneos e indispensables para la clasificación y transferencia estructural, al tiempo que permanece sensible al tamaño del lenguaje y a la aritmética de cardinales.