Construction Ehrenfeucht-Mostowski

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é.