Erhard Aichinger, Bernardo Rossi,
"A clonoid based approach to some finiteness results in universal algebraic geometry"
, in Algebra Universalis, Vol. 81, Seite(n) 81:8:1-7, 2020, ISSN: 0002-5240
A clonoid based approach to some finiteness results in universal algebraic geometry
Sprache des Titels:
We prove that for a finite first order structure A and a set of
first order formulas ? in its language with certain closure properties, the finitary relations on A that are definable via formulas in ? are uniquely determined by those of arity |A|^2.This yields new proofs for some finiteness results from universal algebraic geometry.