Complete one-type
= Complete one-type
{title2=$S_1(T)$}
A <complete one-type> is a <complete type> in one <free variable>. It chooses exactly one of each <first-order formula> and its <negation> consistently with the <first-order theory> and the named parameters.