Pages that link to "Item:Q1762479"

The following pages link to Birkhoff's variety theorem in many sorts (Q1762479):

Displaying 5 items.

• Automorphic equivalence of many-sorted algebras (Q282431) (← links)
• Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
• Reflection-closed varieties of multisorted algebras and minor identities (Q1991602) (← links)
• The two-sorted algebraic theory of states, and the universal states of MV-algebras (Q2040522) (← links)
• Discrete equational theories (Q6149967) (← links)