Un modelo monstruo es un modelo elegido suficientemente grande, altamente saturado y fuertemente homogéneo de una teoría completa de primer orden que sirve como dominio universal en el que se trabaja para comparar, embeber y realizar tipos sobre conjuntos de parámetros pequeños. Es un modelo ambiente conveniente más que un objeto canónico único.

Principio

El principio práctico es escoger un único modelo grande de modo que cualquier estructura pequeña de interés se embeba en él, todos los tipos relevantes sobre conjuntos pequeños se realicen y se puedan usar libremente automorfismos y extensiones; la saturación y la homogeneidad cuantifican el requisito de 'suficientemente grande'.

Demostración

Habitualmente se fija un modelo monstruo M con cardinalidad y saturación mayores que todos los conjuntos de parámetros en consideración (por ejemplo, κ-saturado para κ≫|T|,|A|). Trabajando dentro de M, todo tipo sobre un A pequeño está realizado, lo que simplifica argumentos sobre independencia, automorfismos y bases canónicas.

Aplicación incorrecta

Tratar al modelo monstruo como una estructura absoluta y única o ignorar las hipótesis de cardinalidad/saturación —por ejemplo, suponer que uniones arbitrarias de modelos pequeños se embeben sin comprobar saturación— conduce a errores; también confundir su existencia en todas las cardinalidades sin comprobar los teoremas de existencia modeloteóricos.

Consecuencia

Usar un modelo monstruo agiliza los pasos de sintaxis a semántica: se puede hablar de realizaciones de tipos, grupos de automorfismos que fijan conjuntos de parámetros y de forking/non-forking en un mundo ambiente fijo, permitiendo demostraciones más claras y uniformes de propiedades de independencia y extensión.

Inversión

La perspectiva inversa es trabajar únicamente en modelos pequeños o concretos: entonces los argumentos deben manejar tipos no realizados, embe- didamientos parciales y la falta de homogeneidad explícitamente, haciendo los argumentos combinatorios y de embe- didamiento más delicados pero a menudo más constructivos o efectivos.

Límite

Un modelo monstruo es una conveniencia metodológica que depende de la elección de cardinalidades adecuadas y de teoremas de existencia de modelos saturados; no es canónico entre distintas elecciones y su uso presupone que se atiende sólo a conjuntos de parámetros 'pequeños' respecto a la saturación del monstruo.

Tensión semántica

Existe tensión entre considerar el modelo monstruo como un objeto matemático real y como una ficción de trabajo: simplifica el razonamiento pero oculta dependencias con la teoría de conjuntos. También compite conceptualmente con trabajar en modelos saturados de cardinalidades especificadas o en dominios universales con múltiples tipos.

Síntesis

El modelo monstruo es el gran modelo saturado y homogéneo elegido para realizar todos los tipos pequeños y alojar automorfismos, proporcionando un terreno uniforme donde los conceptos modeloteóricos como tipos, independencia y bases canónicas pueden compararse y manipularse con mínima fricción relacionada con las cardinalidades.