Implicit definition of the quaternary discriminator
From MaRDI portal
Publication:1762478
DOI10.1007/s00012-012-0189-9zbMath1261.08003MaRDI QIDQ1762478
Miguel A. Campercholi, Diego J. Vaggione
Publication date: 27 November 2012
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-012-0189-9
equationally definable principal congruences; implicit equational definition; quaternary discriminator
Related Items
Singly generated quasivarieties and residuated structures, Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties, Semantical conditions for the definability of functions and relations, Relative congruence formulas and decompositions in quasivarieties, Coextensive varieties via central elements, Logics of left variable inclusion and Płonka sums of matrices
Cites Work
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Sheaf representation and Chinese Remainder Theorems
- Congruences and one element subalgebras
- Varieties of shells
- Locally Boolean spectra
- Birkhoff-like sheaf representation for varieties of lattice expansions
- Subquasivarieties of implicative locally-finite quasivarieties
- Global subdirect products
- Unnamed Item
- Unnamed Item
- Unnamed Item