A FINITE BASIS THEOREM FOR DIFFERENCE-TERM VARIETIES WITH A FINITE RESIDUAL BOUND

作者：Kearnes Keith^*; Szendrei Agnes; Willard Ross

来源：Transactions of the American Mathematical Society, 2016, 368(3): 2115-2143.

DOI：10.1090/tran/6509

We prove that if V is a variety of algebras (i.e., an equationally axiomatizable class of algebraic structures) in a finite language, V has a difference term, and V has a finite residual bound, then V is finitely axiomatizable. This provides a common generalization of R. McKenzie's finite basis theorem for congruence modular varieties with a finite residual bound, and R. Willard's finite basis theorem for congruence meet-semidistributive varieties with a finite residual bound.

• 出版日期2016-3