On Baker's Finite Basis Theorem for Congruence Distributive Varieties

DOI10.2307/2042279zbMath0401.08011OpenAlexW4243400808MaRDI QIDQ4184897

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)

Related Items (9)

Congruence meet-semidistributive locally finite varieties and a finite basis theorem ⋮ 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 ⋮ Congruence-distributive varieties of algebras ⋮ Universal algebras ⋮ Finite bases for finitely generated, relatively congruence distributive quasivarities ⋮ Quasivarieties of algebras with definable principal congruences ⋮ Varieties generated by finite BCK-algebras

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