Un modelo que realiza todo tipo sobre conjuntos de parámetros de cardinalidad inferior a su cardinal de saturación; informalmente, un modelo es κ-saturado si realiza todos los tipos sobre conjuntos de parámetros de tamaño < κ, y saturado cuando κ coincide con su propia cardinalidad.

Principio

La saturación captura la idea de completitud respecto a los tipos: un modelo saturado no puede ampliarse (dentro de su cardinalidad) añadiendo realizaciones de tipos sobre conjuntos de parámetros pequeños porque ya los realiza todos.

Demostración

Un modelo numerable ω-saturado realiza cada tipo sobre conjuntos de parámetros finitos; por ejemplo, un modelo numerable saturado de una teoría completa realiza todo tipo consistente sobre parámetros finitos y por tanto no puede extenderse elementalmente en el ámbito numerable sin cambiar su cardinalidad.

Aplicación incorrecta

Confundir saturación con mera riqueza (tener muchos elementos) o asumir saturación sin comprobar la realización de todos los tipos sobre parámetros pequeños conduce a errores; igualmente, usar afirmaciones de saturación en contextos donde falla la aritmética cardinal relevante es un mal uso.

Consecuencia

Los modelos saturados sirven como universos robustos y altamente homogéneos para la teoría: facilitan argumentos back-and-forth, la clasificación por estabilidad y la transferencia de propiedades estructurales mediante embebimientos elementales y automorfismos.

Inversión

Un modelo primo o atómico es la imagen inversa: mínimo y fuertemente determinado, en lugar de máximo en la realización de tipos; la saturación y la primidad suelen ser nociones ortogonales.

Límite

Definido en relación con un cardinal κ y aplicable dentro de la teoría de modelos de primer orden; la saturación depende tanto de la cardinalidad del modelo como del contexto set-theórico ambiente y no implica por sí misma primidad ni categoricidad.

Tensión semántica

Tensión entre universalidad y especificidad: la saturación aporta universalidad respecto a los tipos pero puede diluir distinciones sintácticas finas que modelos más pequeños y específicos (primos o atómicos) conservan.

Síntesis

Un Modelo Saturado es una estructura que realiza la máxima cantidad de tipos para su tamaño: al realizar todos los tipos sobre parámetros pequeños proporciona un entorno homogéneo y extensionally completo que es central en la teoría de clasificación y en argumentos de transferencia.