A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties

DOI10.1007/BF02945118zbMath0288.08007MaRDI QIDQ1846449

Michael Makkai

Publication date: 1973

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Varieties (08B99)

Related Items (11)

Bjarni Jónsson's contributions in algebra ⋮ The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ Congruence varieties ⋮ Congruence-distributive varieties of algebras ⋮ Finite bases for finitely generated, relatively congruence distributive quasivarities ⋮ Weakly associative lattices with congruence extension property ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Para primal algebras ⋮ Baker's finite basis theorem ⋮ Basic questions for general algebras

Cites Work

• Properties preserved in subdirect products
• Weak (projective) radius and finite equational bases for classes of lattices
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties