The following pages link to Congruence varieties (Q1141676):
Displaying 31 items.
- An easy test for congruence modularity (Q451080) (← links)
- Nondefinability of projectivity in lattice varieties (Q790855) (← links)
- Universal definability of Mal'tsev classes (Q795033) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- The algebra of conditional logic (Q913791) (← links)
- Mal'cev conditions revisited (Q1029605) (← links)
- Mal'tsev conditions and representability of varieties (Q1064334) (← links)
- Lattices of congruence classes of algebras (Q1065049) (← links)
- Lattice of Mal'tsev theories (Q1073064) (← links)
- The cardinality of subdirectly indecomposable systems in quasivarieties (Q1081625) (← links)
- Mal'tsev classes with a given property (Q1112855) (← links)
- Universal algebras (Q1173984) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Congruence modularity implies the Arguesian law for single algebras with a difference term (Q1305447) (← links)
- Infinite primal algebras and Post varieties (Q1320697) (← links)
- A perspective on algebraic representations of lattices (Q1327459) (← links)
- The Jónsson distributivity spectrum (Q1652855) (← links)
- How are diamond identities implied in congruence varieties? (Q1802262) (← links)
- \(n\)-permutable varieties satisfy non trivial congruence identities (Q1842590) (← links)
- Alan Day's early work: Congruence identities (Q1902539) (← links)
- Representability types of varieties and Mal'tsev strict conditions (Q1920782) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Relation identities in 3-distributive varieties (Q2007989) (← links)
- The Gumm level equals the Alvin level in congruence distributive varieties (Q2198271) (← links)
- On prevarieties of logic (Q2324841) (← links)
- (Q3825127) (← links)
- Commutator Theory Without Join-Distributivity (Q4321191) (← links)
- (Q4461653) (← links)
- The shape of congruence lattices (Q4979155) (← links)
- THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY (Q5093764) (← links)
- Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$ (Q5441154) (← links)