Definability of principal congruences in equivalential algebras
From MaRDI portal
Publication:4368885
DOI10.4064/cm-74-2-225-238zbMath0890.08004MaRDI QIDQ4368885
Paweł M. Idziak, Andrzej Wroński
Publication date: 29 June 1998
Published in: Colloquium Mathematicum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/210512
principal congruences; Boolean groups; equivalential algebras; Mal'tsev conditions; congruence permutable variety; Brouwerian semilattices; equivalential reducts
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
08B10: Congruence modularity, congruence distributivity
Related Items