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
• Citace: ADÁMEK, J., Jiří ROSICKÝ a E. M. VITALE. Birkhoff's Variety Theorem in Many Sorts. Algebra Universalis. 2012, roč. 68, 1-2, s. 39-42. ISSN 0002-5240. Dostupné z: https://dx.doi.org/10.1007/s00012-012-0185-0.
• 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