Skip to content

Tag

finite basis

2 resources tagged “finite basis” across the knowledge library.

2 items

Guide6 Aug 2026Fully Invariant Congruences and Equational TheoriesEquational theories as fully invariant congruences on the term algebra, the dual isomorphism with the lattice of varieties, and equational bases.5 min readRead More Guide6 Aug 2026Three Finite Basis TheoremsThe 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 subdirectly irreducibles.5 min readRead More