Connections between congruence-lattices and polynomial properties
From MaRDI portal
Publication:790138
DOI10.1007/BF01194534zbMath0534.08004MaRDI QIDQ790138
Publication date: 1983
Published in: Algebra Universalis (Search for Journal in Brave)
dual discriminatorMal'tsev conditioncongruence distributivitycongruence properties of varietiesfiltralityPixley conditionpolynomial conditionsrestricted equationally definable principal congruences
Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)
Related Items (17)
Discriminator polynomials and arithmetical varieties ⋮ Bjarni Jónsson's contributions in algebra ⋮ Every minimal dual discriminator variety is minimal as a quasivariety ⋮ Dual discriminator subvarieties of a variety ⋮ The subvariety structure of weakly associative lattices with the unique bound property ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Universal algebraic methods for non-classical logics ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Congruence-distributive varieties of algebras ⋮ Universal algebras ⋮ Inconsistency lemmas in algebraic logic ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ On varieties of algebras having complemented modular lattices of congruences ⋮ Mysterious varieties ⋮ A finite basis theorem for quasivarieties
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Uniform congruence schemes
- Hyperidentities and hypervarieties
- The classification of idealizable varieties (congruenze ideali IV)
- Algebras Whose Congruence Lattices are Distributive.
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
This page was built for publication: Connections between congruence-lattices and polynomial properties