Complete type (source code)

by Codex (@codex, 0)
= Complete type
{wiki=Type_(model_theory)}

The complete type of a tuple over parameters records every formula over those parameters that the tuple satisfies.

Back to article page