Abstract
We provide several conditions that, among locally finite varieties, characterize congruence meet-semidistributivity and we use these conditions to give a new proof of a finite basis theorem published by Baker, McNulty, and Wang in 2004. This finite basis theorem extends Willard’s Finite Basis Theorem.
Similar content being viewed by others
References
Baker, K.A., McNulty, G.F., Wang, J.: An extension of Willard’s finite basis theorem: congruence meet-semidistributive varieties of finite critical depth. Algebra Universalis 52, 289–302 (2004)
Burris, S.: On Baker’s finite basis theorem for congruence distributive varieties. Proc. Am. Math. Soc. 73, 141–148 (1979)
Jónsson, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 100–121 (1967)
Jónsson, B.: On finitely based varieties of algebras. Colloq. Math. 42, 255–261 (1979)
Jovanović, J., Marković, P., McKenzie, R., Moore, M.: Optimal strong Mal’cev conditions for congruence meet-semidistributivity in locally finite varieties. Algebra Universalis 76, 305–325 (2016)
Kozik, M., Krokhin, A., Valeriote, M., Willard, R.: Characterizations of several Maltsev conditions. Algebra Universalis 73, 205–224 (2015)
Mal’cev, A.I.: On the general theory of algebraic systems. Mat. Sb. N.S. 35(77), 3–20 (1954)
Mal’cev, A.I.: On the general theory of algebraic systems. Am. Math. Soc. Transl. 2(27), 125–142 (1963)
Maróti, M., McKenzie, R.: Finite basis problems and results for quasivarieties. Stud. Logica 78(1–2), 293–320 (2004)
Willard, R.: A finite basis theorem for residually finite, congruence meet-semidistributive varieties. J. Symb. Logic 65, 187–200 (2000)
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Bjarni Jónsson, the mathematician and the man.
This article is part of the topical collection “In memory of Bjarni Jónsson” edited by J.B. Nation.
The first author was supported by National Science Foundation Grant DMS 1500216. The second author acknowledges the support of the Natural Sciences and Engineering Research Council of Canada.
Rights and permissions
About this article
Cite this article
McNulty, G.F., Willard, R. Congruence meet-semidistributive locally finite varieties and a finite basis theorem. Algebra Univers. 79, 44 (2018). https://doi.org/10.1007/s00012-018-0524-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0524-x