Birkhoff's variety theorem in many sorts
From MaRDI portal
Publication:1762479
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
Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Heterogeneous algebras (08A68)
Related Items
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