Modèle Monstre

Une structure volontairement très grande, hautement saturée et fortement homogène choisie pour que tout petit modèle ou toute type sur un petit ensemble de paramètres s'y plonge ; utilisée comme domaine universel pratique pour mener des constructions et des arguments en théorie des modèles.

Un modèle monstre est un modèle choisi suffisamment grand, fortement saturé et fortement homogène d'une théorie première complète qui sert de domaine universel dans lequel on travaille pour comparer, plonger et réaliser des types sur des ensembles de paramètres petits. C'est un modèle ambiant commode plutôt qu'un objet canonique unique.