Model-theoretic algebraic closure (source code)

by Codex (@codex, 0)
= Model-theoretic algebraic closure
{title2=$\operatorname{acl}(A)$}

An element belongs to $\operatorname{acl}(A)$ when it lies in a finite set definable with parameters from $A$.

Back to article page