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.
New to topics? Read the docs here!
New to topics? Read the docs here!