A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
From MaRDI portal
Publication:1846449
DOI10.1007/BF02945118zbMath0288.08007MaRDI QIDQ1846449
Publication date: 1973
Published in: Algebra Universalis (Search for Journal in Brave)
08B99: Varieties
Related Items
Der Verband der normalen verzweigten Modallogiken, Basic questions for general algebras, Congruence-distributive varieties of algebras, Congruence varieties, 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, Bjarni Jónsson's contributions in algebra
Cites Work