Birkhoff's Variety Theorem in Many Sorts

• Authors: ADÁMEK J.; ROSICKÝ Jiří; VITALE E. M.
• Year of publication: 2012
• Type: Article in Periodical
• Magazine / Source: Algebra Universalis
• MU Faculty or unit: Faculty of Science
• Doi: http://dx.doi.org/10.1007/s00012-012-0185-0
• Field: General mathematics
• Keywords: Birkhoff's theorem;many-sorted variety

Attached files

• arv.pdf

• Description: There is proved the many-sorted version of the classical Birkhoff's variety theorem.

Related projects

• Institute for Theoretical Computer Science