Primmodell

Ein minimales Modell einer vollständigen Prädikatenlogik-Theorie, das sich elementar in jedes andere Modell der Theorie einbettet; äquivalent dazu ein Modell, das von Realisierungen principaler (isolierter) Typen über der leeren Menge erzeugt wird.

Ein Modell P einer vollständigen Theorie T heißt prim, wenn P sich elementar in jedes Modell von T einbetten lässt; es ist ein minimales (bezüglich elementarer Einbettungen) kanonisches Repräsentant der Theorie.