Una estructura deliberadamente muy grande, altamente saturada y fuertemente homogénea elegida para que cualquier modelo pequeño o tipo sobre un conjunto pequeño de parámetros se embeba en ella; se usa como dominio universal conveniente para llevar a cabo construcciones y argumentos en teoría de modelos.

Principio

Trabajar dentro de un único modelo suficientemente grande, saturado y homogéneo para reducir la gestión externa: los tipos sobre conjuntos pequeños se realizan, los automorfismos extienden los isomorfismos locales y los modelos pequeños se embeben de forma única a automorfismo cerca.

Demostración

Para una teoría completa de primer orden T y un cardinal κ no numerable con κ > |T|, se puede fijar un modelo M de cardinalidad κ que sea κ-saturado y κ-fuertemente homogéneo; cada modelo de tamaño < κ es entonces una subestructura elemental de M, y los argumentos de ida y vuelta y el conteo de tipos se realizan dentro de M.

Aplicación incorrecta

Tratar el modelo monstruo como un objeto canónico o único independiente de la saturación/tamaño elegidos, o suponer propiedades (como saturación en cardinales ≥ κ) que el monstruo elegido no posee; o usar un monstruo cuando las restricciones de tamaño impiden la saturación.

Consecuencia

Los argumentos sobre tipos, automorfismos e independencia se vuelven uniformes y más sencillos porque se puede cuantificar sobre realizaciones dentro del monstruo y usar su homogeneidad para extender aplicaciones locales globalmente.

Inversión

En lugar de fijar un monstruo, trabajar con modelos arbitrarios y llevar una contabilidad persistente de embeddings y parámetros; esto suele forzar distinciones de caso y construcciones de pegado externas.

Límite

El monstruo es una conveniencia metodológica, no un objeto canónico: su existencia requiere espacio en teoría de conjuntos (un cardinal suficientemente grande) y se aplica típicamente a clases de estructuras pequeñas respecto al monstruo; no sustituye pruebas que requieren construcciones explícitas en modelos pequeños.

Tensión semántica

El término puede leerse como un dominio universal absoluto (como si hubiera un único gran modelo verdadero) frente a un dispositivo técnico flexible (uno de muchos posibles modelos saturados/homogéneos elegidos por conveniencia).

Síntesis

Un modelo monstruo es un modelo elegido, lo bastante grande, saturado y homogéneo, que actúa como dominio ambiente universal en el que se embeben los modelos pequeños y donde tipos y automorfismos se manejan de forma uniforme.