On Baker's Finite Basis Theorem for Congruence Distributive Varieties
From MaRDI portal
Publication:4184897
DOI10.2307/2042279zbMath0401.08011MaRDI QIDQ4184897
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
08B05: Equational logic, Mal'tsev conditions
08B10: Congruence modularity, congruence distributivity
Related Items
Congruence-distributive varieties of algebras, Congruence varieties, Two examples concerning the definability of the disjointness property of principal congruences, Universal algebras, Finite bases for finitely generated, relatively congruence distributive quasivarities, The parameterized local deduction theorem for quasivarieties of algebras and its application, Quasivarieties of algebras with definable principal congruences, Varieties generated by finite BCK-algebras