Birkhoff's variety theorem in many sorts

DOI10.1007/s00012-012-0185-0zbMath1257.08003OpenAlexW2101082039MaRDI QIDQ1762479

Jiří Rosický, Jiří Adámek, Enrico M. Vitale

Publication date: 27 November 2012

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-012-0185-0

zbMATH Keywords

many-sorted algebrasBirkhoff variety theorem

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Heterogeneous algebras (08A68)

Related Items (5)

Automorphic equivalence of many-sorted algebras ⋮ Discrete equational theories ⋮ Bounding essential arities of term operations in finitely decidable varieties ⋮ Reflection-closed varieties of multisorted algebras and minor identities ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Birkhoff's variety theorem in many sorts