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

DOI10.1007/S00012-018-0524-XMaRDI QIDQ1652880zbMATH OpenOpenAlexFDO

Authors George F. McNulty, Ross Willard

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

congruence meet-semidistributivefinitely based algebrasMal'cev condition

Mathematics Subject Classification ID

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

Recommendations

• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• A characterization of locally finite varieties that satisfy a nontrivial congruence identity
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Maltsev conditions for general congruence meet-semidistributive algebras

Cites work

• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Algebras Whose Congruence Lattices are Distributive.
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Characterizations of several Maltsev conditions.
• Finite basis problems and results for quasivarieties
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties
• On finitely based varieties of algebras
• On the general theory of algebraic systems
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties

Cited in

(7)

• Finite equational bases for congruence modular varieties
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• A new characterization of Conrad's finite basis theorem
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Extending Baker's theorem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1652880)