Erhard Aichinger, Bernardo Rossi,
"A clonoid based approach to some finiteness results in universal algebraic geometry"
, Serie arXiv.org, Nummer arXiv:1909.10232, 9-2019, ISSN: 2331-8422
Original Titel:
A clonoid based approach to some finiteness results in universal algebraic geometry
Sprache des Titels:
Englisch
Original Kurzfassung:
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$ that are definable via formulas in $\Phi$ are uniquely determined by those of arity $|A|^{2}$. This yields new proofs for some finiteness results from universal algebraic geometry.
Forschungs-