Birkhoff's variety theorem in many sorts
From MaRDI portal
Publication:1762479
DOI10.1007/s00012-012-0185-0zbMath1257.08003MaRDI QIDQ1762479
Jiří Adámek, Jiří Rosický, 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
08B05: Equational logic, Mal'tsev conditions
08C05: Categories of algebras
08A68: Heterogeneous algebras
Cites Work