Birkhoff's Variety Theorem in Many Sorts

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Vícesortová Birkhoffova věta
Autoři	ADÁMEK J. ROSICKÝ Jiří VITALE E. M.
Rok publikování	2012
Druh	Článek v odborném periodiku
Časopis / Zdroj	Algebra Universalis
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Doi	https://doi.org/10.1007/s00012-012-0185-0
Obor	Obecná matematika
Klíčová slova	Birkhoff's theorem;many-sorted variety
Přiložené soubory	arv.pdf
Popis	Je dokázána vícesortová verze klasické Birkhoffovy věty o varietách.
Související projekty:	Institut Teoretické Informatiky