On Definability of the Equality in Classes of Algebras with an Equivalence Relation

被引：0
|
作者：
Pilar Dellunde I Clavé
机构：
[1] Universitat Autonoma de Barcelona,Area de Logica, Edifici B
来源：
Studia Logica | 2000年 / 64卷 / 3期
关键词：
equivalential logics; algebraic logic; model theory;
D O I：
10.1023/A:1005237627378
中图分类号：
学科分类号：
摘要：
We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomatically definable but not finitely atomatically definable.
引用
收藏
页码：345 / 353
页数：8
相关论文
共 50 条
12345