Birkhoff's variety theorem in many sorts

被引：6
|
作者：
Adamek, Jiri [1 ]
Rosicky, Jiri [2 ]
Vitale, Enrico M. [3 ]
机构：
[1] Tech Univ Carolo Wilhelmina Braunschweig, Inst Theoret Comp Sci, D-38032 Braunschweig, Germany
[2] Masaryk Univ, Dept Math & Stat, CS-61137 Brno, Czech Republic
[3] Catholic Univ Louvain, Inst Rech Math & Phys, B-1348 Louvain, Belgium
来源：
ALGEBRA UNIVERSALIS | 2012年 / 68卷 / 1-2期
关键词：
many-sorted algebras; Birkhoff variety theorem;
D O I：
10.1007/s00012-012-0185-0
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
For many-sorted algebras, Garrett Birkhoff's characterization of equational classes is proved to generalize in case of finitely many sorts. For infinitely sorted algebras, closure under directed unions needs to be added.
引用
收藏
页码：39 / 42
页数：4
相关论文
共 50 条
12345