Implicit definition of the quaternary discriminator

DOI10.1007/S00012-012-0189-9zbMath1261.08003OpenAlexW2171355054MaRDI 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

zbMATH Keywords

equationally definable principal congruencesimplicit equational definitionquaternary discriminator

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Quasivarieties (08C15)

Related Items (9)

Semantical conditions for the definability of functions and relations ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Unnamed Item ⋮ The algebraic significance of weak excluded middle laws ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Singly generated quasivarieties and residuated structures ⋮ Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Coextensive varieties via central elements

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Implicit definition of the quaternary discriminator