Méthode de construction de modèles réalisant un motif de types prescrit le long d'un ordre d'indices en interprétant un ordre linéaire (ou autre ossature) dans une structure munie de fonctions de Skolem de sorte que les images de l'ordre forment une suite indiscernable réalisant le motif de types spécifié. Elle sert à produire des modèles avec de longues suites indiscernables ou des configurations combinatoires particulières.

Principe

Choisir une ossature (typiquement un ordre linéaire) et une spécification (schéma EM) qui attribue des types aux tuples croissants d'indices ; étendre le langage avec des fonctions de Skolem de sorte que les termes réalisent le schéma, puis prendre la structure engendrée par l'interprétation de l'ordre pour obtenir un modèle dont les points indexés sont indiscernables selon le motif voulu.

Démonstration

Étant donné un ordre I et un schéma attribuant des types finis p_n cohérents aux n‑uplets croissants de I, construire une structure M en ajoutant des symboles de fonctions qui réalisent le schéma et en interprétant les constantes correspondant aux points de I. Le modèle résultant M contient une suite indiscernable indexée par I réalisant chaque p_n sur les n‑uplets croissants, comme prévu par la construction.

Mauvaise application

Utiliser une construction EM sans vérifier la cohérence du schéma, ou s'attendre à obtenir des indiscernables pour des ordres quelconques sans modifier le langage (par ex. sans skolemisation ou morleyisation). Lire la méthode comme purement syntaxique en ignorant les conditions d'existence model-théoriques conduit à des conclusions invalides.

Conséquence

Fournit un outil flexible pour créer des modèles avec de longues suites indiscernables, des motifs combinatoires prescrits ou des propriétés d'homogénéité particulières ; alimente des résultats en stabilité, théorie de la classification et la construction de contre‑exemples ou de modèles spécialisés en diverses cardinalités.

Inversion

L'idée inverse est d'effondrer ou de définir les suites indiscernables pour qu'elles deviennent définissables ou éliminées ; inverser la construction supprime le motif combinatoire libre et ramène à une structure plus proche de la théorie de base mais sans l'indiscernabilité prescrite.

Limite

Nécessite un schéma EM cohérent et en général un contrôle des fonctions de Skolem et de l'expansion du langage ; tous les motifs souhaités ne sont pas réalisables dans toute théorie ou cardinalité. La construction s'inscrit dans la théorie des modèles du premier ordre et n'aborde pas directement des spécifications d'ordre supérieur sans outils supplémentaires.

Tension sémantique

S'oppose aux constructions de type Fraïssé ou back-and-forth : EM met l'accent sur la prescription de motifs de types indiscernables via un schéma et une expansion du langage, tandis que d'autres constructions portent sur l'amalgamation, l'homogénéité ou des limites explicites ; la tension apparaît lors du choix de la méthode adaptée pour construire le modèle recherché.

Synthèse

La construction d'Ehrenfeucht–Mostowski transforme systématiquement un schéma combinatoire sur un ordre d'indices en un modèle effectif en étendant le langage par des symboles de Skolem et en interprétant l'ordre pour que les points indexés forment des indiscernables réalisant le schéma ; c'est un outil central pour générer des modèles à indiscernabilité et structure combinatoire contrôlées.