Type Complet

Un type complet (aussi appelé n-type complet) est un ensemble maximal et consistant de formules du premier ordre avec paramètres dans une structure donnée ou sur un ensemble de paramètres, pour un tuple fixé de variables libres ; il contient pour chaque formule relevant dans ces variables soit la formule soit sa négation, décrivant ainsi toutes les propriétés du premier ordre qu’un tuple peut sati

Un type complet sur un ensemble de paramètres A est un ensemble cohérent maximal de formules du premier ordre à paramètres dans A : pour toute formule φ(x,a) avec a dans A, le type contient soit φ(x,a) soit sa négation, et l'ensemble reste cohérent avec la théorie T.