24 citations · 68 across the 20 of their papers we have counts for
4 papers · 1 filter
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…
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…
Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory
Erhard Aichinger, Florian Aichinger
We provide proofs for the fact that certain orders have no descending chains and no antichains.
On the local closure of clones on countable sets
Erhard Aichinger
We consider clones on countable sets. If such a clone has quasigroup operations, is locally closed and countable, then there is a function such that…