Birkhoff's Variety Theorem in Many Sorts

• 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
• Doi: http://dx.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