Modelo Monstruo

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.

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.