Congruence meet-semidistributive locally finite varieties and a finite basis theorem |
| |
| Authors: | George F. McNulty Ross Willard |
| |
| Affiliation: | 1.Department of Mathematics,University of South Carolina,Columbia,USA;2.Department of Pure Mathematics,University of Waterloo,Waterloo,Canada |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
