scientific article; zbMATH DE number 1463145
An equivalential algebra is a groupoid satisfying the identities \((x\cdot x)\cdot y = y\), \(((x\cdot y)\cdot z)\cdot z = (x\cdot z)\cdot (y\cdot z)\) and \( ((x\cdot y)\cdot ((x\cdot z)\cdot z))\cdot ((x\cdot z)\cdot z) = x\cdot y \). Let \(\Omega \) be the groupoid whose underlying set are the natural numbers and \( x\cdot x = 0\) and \(x\cdot y = \max (x,y)\) if \( x\neq y\). Let \(\Sigma \) be the groupoid whose underlying set is a countably infinite family of sets closed under symmetric difference together with an external element \(*\), where the operation is symmetric difference and for any nonvoid \(x\), \(x\cdot * = *\cdot x = x \) and \(*\cdot * = \emptyset \) and \(*\cdot\emptyset = \emptyset \cdot * = *\). Theorem: Let \(\mathcal V\) be a variety of equivalential algebras. If \(\mathcal V\) is not finitely generated, then it includes \(\Sigma \) or \(\Omega \).
- Equivalential algebras. I: Representation
- Congruences on equivalence algebras
- Implication and equivalential reducts of basic algebras
- scientific article; zbMATH DE number 4037903 (Why is no real title available?)
- scientific article; zbMATH DE number 120349 (Why is no real title available?)
- scientific article; zbMATH DE number 540505 (Why is no real title available?)
- scientific article; zbMATH DE number 1852933 (Why is no real title available?)
- scientific article; zbMATH DE number 915947 (Why is no real title available?)
- The variety generated by equivalence algebras
- Tabular and pretabular varieties of MTL-algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487293)
