Birkhoff's Variety Theorem in Many Sorts

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

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
Citation
Doi	https://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