Ehrenfeucht-Mostowski-Konstruktion

Ein Verfahren zur Konstruktion von Modellen, die ein vorgegebenes Muster von Typen entlang einer Indexordnung realisieren, indem eine lineare Ordnung (oder ein anderes Skelett) in eine Struktur mit Skolem-Funktionen interpretiert wird, sodass die Bilder der Ordnung eine indiskernible Folge bilden, die das spezifizierte Typenmuster realisiert.