Tipo Completo

Un tipo completo (también llamado n-tipo completo) es un conjunto maximal y consistente de fórmulas de primer orden con parámetros en una estructura dada o sobre un conjunto de parámetros, en un tuplo fijo de variables libres; contiene, para cada fórmula en esas variables, o la fórmula o su negación, describiendo así todas las propiedades de primer orden que un tuplo puede satisfacer respecto al c

Un tipo completo sobre un conjunto de parámetros A es un conjunto consistente y maximal de fórmulas de primer orden con parámetros en A: para toda fórmula φ(x,a) con a en A, el tipo contiene φ(x,a) o su negación, y el conjunto entero es consistente con la teoría T.