Congruence meet-semidistributive locally finite varieties and a finite basis theorem

DOI10.1007/s00012-018-0524-xOpenAlexW2803901506MaRDI QIDQ1652880

Ross Willard, George F. McNulty

Publication date: 16 July 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0524-x

zbMATH Keywords

Mal'cev conditioncongruence meet-semidistributivefinitely based algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Unnamed Item
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Finite basis problems and results for quasivarieties
• Characterizations of several Maltsev conditions.
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• On finitely based varieties of algebras
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• On the general theory of algebraic systems
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Congruence meet-semidistributive locally finite varieties and a finite basis theorem