## [Modèle Monstre](/fr/node/61010) Définition 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. ## Principe Principe Travailler dans un seul modèle suffisamment grand, saturé et homogène pour alléger la gestion externe : les types sur des petits ensembles sont réalisés, les automorphismes prolongent les isomorphismes locaux, et les petits modèles s'immergent de façon unique à automorphisme près. ## Démonstration Démonstration Pour une théorie complète T et un cardinal κ non dénombrable avec κ > |T|, on peut fixer un modèle M de cardinalité κ qui est κ-saturé et κ-fortement homogène ; tout modèle de taille < κ s'identifie alors à une sous-structure élémentaire de M, et les arguments « back-and-forth » et le comptage de types se font à l'intérieur de M. ## Mauvaise application Mauvaise application Présenter le modèle monstre comme un objet canonique ou unique indépendamment du choix de la saturation/taille, ou supposer des propriétés (comme la saturation à des cardinaux ≥ κ) que le monstre choisi n'a pas ; ou utiliser un monstre malgré des contraintes de taille empêchant la saturation. ## Conséquence Conséquence Les raisonnements sur les types, les automorphismes et les relations d'indépendance deviennent uniformes et plus simples parce qu'on peut considérer les réalisations à l'intérieur du monstre et utiliser son homogénéité pour étendre localement des applications au global. ## Inversion Inversion Au lieu de fixer un monstre, on travaille avec des modèles quelconques et une tenue de comptes permanente des plongements et paramètres ; cela entraîne souvent des distinctions de cas et des constructions d'assemblage externes. ## Limite Limite Le monstre est une commodité méthodologique, non un objet canonique : son existence nécessite de l'espace en théorie des ensembles (un cardinal assez grand) et s'applique typiquement à des classes de structures petites par rapport au monstre ; il ne remplace pas des preuves demandant des constructions explicites dans des petits modèles. ## Tension sémantique Tension sémantique Le terme peut être interprété comme un domaine universel absolu (comme s'il y avait un unique grand modèle véritable) ou comme un dispositif technique flexible (l'un parmi d'autres modèles saturés/homogènes choisis par commodité). ## Synthèse Synthèse Un modèle monstre est un modèle choisi, suffisamment grand, saturé et homogène, servant de domaine ambiant universel dans lequel les petits modèles s'immergent et où les types et automorphismes se traitent de manière uniforme.