24 citations · 68 across the 20 of their papers we have counts for
Showing 2019 · math.LOShow all
2 papers · 2 filters
math.LO2019★ 2 cited
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 and a set of first order formulas in its language with certain closure properties, the finitary relations on t…
math.LO2019★ 5 cited
Solving systems of equations in supernilpotent algebras
Erhard Aichinger
Recently, M. Kompatscher proved that for each finite supernilpotent algebra in a congruence modular variety, there is a polynomial time algorithm to solve polynomial e…