Definition:Algebraic (Model Theory)
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
Definition
Let $\mathcal{M}$ be an $\mathcal{L}$-structure with universe $M$.
Let $A$ be a subset of $M$.
and let $\bar b$ be an ordered $n$-tuple of elements from $M$.
Let $\mathcal{L}_A$ be the language formed by adding constant symbols to $\mathcal{L}$ for each element of $A$.
$\bar b$ is algebraic over $A$ if there is an $\mathcal{L}_A$-formula $\phi(\bar x)$ with $n$ free variables such that $\mathcal{M}\models \phi(\bar b)$ and the set $\{\bar m \in M^n : \mathcal{M}\models \phi(\bar m)\}$ has only finitely many elements.
If you are familiar with this area of mathematics, you may be able to help improve $\mathsf{Pr} \infty \mathsf{fWiki}$ by determining the precise term which is to be used.
To discuss it in more detail, feel free to use the talk page.
When this has been done, {{Disambiguate}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Alternative Definition
The following definition is sometimes used. It is not equivalent in general. However, these definitions are equivalent when working in a saturated model. This is proved in Algebraic iff Finite Orbit.
$\bar b$ is algebraic over $A$ if it has only finitely many images under $A$-automorphisms.
Source citations are highly desirable, and mandatory for all definition pages.
Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted.
