Abstract

Two functional clones F and G on a set A are said to be algebraically equivalent if sets of solutions for F- and G-equations coincide on A. It is proved that pairwise algebraically nonequivalent existentially additive clones on finite sets A are finite in number. We come up with results on the structure of algebraic equivalence classes, including an equationally additive clone, in the lattices of all clones on finite sets.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call