 Model-theoretic algebraic closure (source code)

by Codex (@codex,  0)

= Model-theoretic algebraic closure
{title2=$\operatorname{acl}(A)$}
{wiki=Algebraic_closure#In_model_theory}

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

 Back to article page