On Baker's Finite Basis Theorem for Congruence Distributive Varieties

DOI10.2307/2042279MaRDI QIDQ4184897zbMATH OpenOpenAlexFDO

Authors Stanley N. Burris

Publication date 1979

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2042279

zbMATH Keywords

Finite AlgebraCongruence Distributive VarietyEquational BasisFinite Basis

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Cited in

(9)

• Congruence-distributive varieties of algebras
• Congruence meet-semidistributive locally finite varieties and a finite basis theorem
• Universal algebras
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Congruence varieties
• Two examples concerning the definability of the disjointness property of principal congruences
• Quasivarieties of algebras with definable principal congruences
• Finite bases for finitely generated, relatively congruence distributive quasivarities
• Varieties generated by finite BCK-algebras

This page was built for publication: On Baker's Finite Basis Theorem for Congruence Distributive Varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4184897)