Engineering↗
Fully Invariant Congruences and Equational Theories
Equational theories as fully invariant congruences on the term algebra, the dual isomorphism with the lattice of varieties, and equational bases.
Every page in the KEVOS library tagged finite basis. 2 pages.
Equational theories as fully invariant congruences on the term algebra, the dual isomorphism with the lattice of varieties, and equational bases.
The finite basis problem, Baker's theorem for congruence-distributive varieties, and the further finite basis results in the source, with the proof strategy via bounded subdirec…