Vollständiger Typ

Ein vollständiger Typ (auch vollständiger n-Typ) ist eine maximale konsistente Menge von Erster-Ordnung-Formeln mit Parametern in einer gegebenen Struktur oder über einer Parameterbasis, für ein festes Tupel von Variablen; er enthält für jede Formel in diesen Variablen entweder die Formel oder ihre Negation und beschreibt somit alle Erster-Ordnung-Eigenschaften, die ein Tupel relativ zur Parameter

Ein vollständiger Typ über einer Parametersatz A ist eine maximal konsistente Menge von Formeln erster Ordnung mit Parametern aus A: Für jede Formel φ(x,a) mit a in A enthält der Typ entweder φ(x,a) oder deren Negation, wobei die Gesamtheit konsistent mit der Theorie T bleibt.