Congruence varieties
From MaRDI portal
Publication:1141676
DOI10.1007/BF02482916zbMath0438.08003OpenAlexW3191425175MaRDI QIDQ1141676
Publication date: 1980
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02482916
congruence latticesfinite algebrasArguesian latticesfinite equational basescongruence varietieslattices of permuting congruencesMal'cev definability
Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
A perspective on algebraic representations of lattices, The cardinality of subdirectly indecomposable systems in quasivarieties, Unnamed Item, Alan Day's early work: Congruence identities, The Jónsson distributivity spectrum, Mal'tsev classes with a given property, Representability types of varieties and Mal'tsev strict conditions, THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY, Unnamed Item, Universal algebraic methods for non-classical logics, The Gumm level equals the Alvin level in congruence distributive varieties, Congruence-distributive varieties of algebras, The algebra of conditional logic, An easy test for congruence modularity, Universal algebras, Tribute to Bjarni Jónsson, A field guide to equational logic, Relation identities in 3-distributive varieties, Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$, Commutator Theory Without Join-Distributivity, How are diamond identities implied in congruence varieties?, The shape of congruence lattices, Mal'cev conditions revisited, On prevarieties of logic, \(n\)-permutable varieties satisfy non trivial congruence identities, Nondefinability of projectivity in lattice varieties, Universal definability of Mal'tsev classes, Congruence modularity implies the Arguesian law for single algebras with a difference term, Mal'tsev conditions and representability of varieties, Lattices of congruence classes of algebras, Infinite primal algebras and Post varieties, Lattice of Mal'tsev theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Varieties whose congruences satisfy certain lattice identities
- Characterizing Mal'cev conditions
- Finite equational bases for finite algebras in a congruence-distributive equational class
- A new proof of the congruence lattice representation theorem
- Lattice conditions implying congruence modularity
- Weak (projective) radius and finite equational bases for classes of lattices
- p-modularity implies modularity in equational classes
- A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
- On \(n\)-permutable congruences
- Representations of primary Arguesian lattices
- Topics in universal algebra
- Trellis theory
- Implication algebras are 3-permutable and 3-distributive
- The class of Arguesian lattices is self-dual
- The amalgamation property in equational classes of modular lattices
- Representation of Modular Lattices and Of Relation Algebras
- On Malcev conditions
- Equational Bases for Lattice Theories.
- On Baker's Finite Basis Theorem for Congruence Distributive Varieties
- A model theoretic approach to Malcev conditions
- Algebras Whose Congruence Lattices are Distributive.
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Two Mal'cev-type theorems in universal algebra
- Local Malcev Conditions
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- IDENTICAL RELATIONS IN FINITE SOLUBLE GROUPS
- On the representation of lattices
- Identities in Finite Algebras
- On the distributivity of a lattice of lattice-congruences
- 3-3 lattice inclusions imply congruence modularity
