On Baker's Finite Basis Theorem for Congruence Distributive Varieties

DOI10.2307/2042279zbMATH Open0401.08011OpenAlexW4243400808MaRDI QIDQ4184897FDOQ4184897

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)

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