Pages that link to "Item:Q1762479"

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

Displaying 16 items.

• Automorphic equivalence of many-sorted algebras (Q282431) (← links)
• Many-sorted and single-sorted algebras (Q353361) (← links)
• Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
• The Birkhoff theorem for varieties of finite algebras (Q790139) (← links)
• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← 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)
• Distinguished varieties through the Berger-Coburn-Lebow theorem (Q2128855) (← links)
• On the directly and subdirectly irreducible many-sorted algebras. (Q2340238) (← links)
• Improvements in Birch's theorem on forms in many variables (Q2408334) (← links)
• On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra (Q2834122) (← links)
• Multicategories and varieties of many-sorted algebras (Q3068293) (← links)
• On many-sorted algebraic closure operators (Q4458761) (← links)
• Ohkawa’s theorem: There is a set of Bousfield classes (Q4523213) (← links)
• Discrete equational theories (Q6149967) (← links)
• Filtered colimit elimination from Birkhoff's variety theorem (Q6671712) (← links)