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.

Principe

Le principe pratique est de fixer un modèle unique suffisamment grand pour que toute petite structure d'intérêt s'y plonge, que tous les types pertinents sur des petits ensembles soient réalisés et que l'on puisse utiliser librement automorphismes et extensions ; la saturation et l'homogénéité quantifient l'exigence de « suffisamment grand ».

Démonstration

On fixe typiquement un modèle monstre M de cardinalité et de saturation supérieures à tous les ensembles de paramètres considérés (par exemple κ-saturé pour κ≫|T|,|A|). En travaillant dans M, tout type sur un petit A est réalisé, ce qui simplifie les arguments sur l'indépendance, les automorphismes et les bases canoniques.

Mauvaise application

Considérer le modèle monstre comme une structure absolue et unique ou ignorer les hypothèses de cardinalité/saturation — par exemple supposer que des unions arbitraires de petits modèles s'y plongent sans vérifier la saturation — mène à des erreurs ; confondre aussi l'existence pour toutes les cardinalités sans vérifier les résultats modélothétiques d'existence.

Conséquence

L'usage d'un modèle monstre épure les passages syntaxe-sémantique : on peut parler des réalisations de types, des groupes d'automorphismes fixant des ensembles de paramètres et du forking/non-forking dans un monde ambiant fixé, facilitant des preuves uniformes des propriétés d'indépendance et d'extension.

Inversion

La perspective inverse consiste à travailler uniquement dans des modèles petits ou concrets : les arguments doivent alors gérer explicitement les types non réalisés, les plongements partiels et le manque d'homogénéité, ce qui rend les arguments combinatoires et d'amalgamation plus délicats mais souvent plus constructifs ou effectifs.

Limite

Le modèle monstre est une commodité méthodologique qui dépend du choix de cardinalités adéquates et des théorèmes d'existence de modèles saturés ; il n'est pas canonique entre différents choix et son usage suppose qu'on limite l'attention aux ensembles de paramètres « petits » relativement à la saturation du monstre.

Tension sémantique

Il existe une tension entre considérer le modèle monstre comme un objet mathématique réel et le voir comme une fiction de travail : il simplifie le raisonnement mais masque des dépendances vis-à-vis de la théorie des ensembles. Il concurrence aussi conceptuellement l'usage de modèles saturés de cardinalités précisées ou de domaines universels à plusieurs sortes.

Synthèse

Le modèle monstre est le grand modèle saturé et homogène choisi pour réaliser tous les petits types et accueillir les automorphismes, fournissant un terrain uniforme où les notions modélothétiques (types, indépendance, bases canoniques) se comparent et se manipulent avec un minimum de frictions liées aux cardinalités.