A clonoid based approach to some finiteness results in universal algebraic geometry

Erhard Aichinger, Bernardo Rossi

We prove that for a finite first order structure $\mathbf{A}$ and a set of first order formulas $\Phi$ in its language with certain closure properties, the finitary relations on $A$ t…