Pages that link to "Item:Q2787967"

The following pages link to A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967):

Displaying 13 items.

• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
• Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
• Finite equational bases for congruence modular varieties (Q1104959) (← links)
• Simpler Maltsev conditions for (weak) difference terms in locally finite varieties (Q1689296) (← links)
• Varieties with a difference term (Q1904245) (← links)
• Identities and quasi-identities of pointed algebras (Q2123076) (← links)
• Characterizing the commutator in varieties with a difference term (Q2131291) (← links)
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth (Q2577694) (← links)
• Relatively congruence modular quasivarieties of modules (Q4586418) (← links)
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
• Polynomial-time tests for difference terms in idempotent varieties (Q5237442) (← links)
• Correction to “A finite basis theorem for difference-term varieties with a finite residual bound” (Q5864300) (← links)
• Relative Maltsev definability of some commutator properties (Q6159128) (← links)