Paper Info
Title
On Definability of the Equality in Classes of Algebras with an Equivalence Relation
Abstract
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.
Year
DOI
Venue
2000
https://doi.org/10.1023/A:1005237627378
Studia Logica - An International Journal for Symbolic Logic
Keywords
DocType
Volume
equivalential logics,algebraic logic,model theory
Journal
64
Issue
ISSN
Citations 
3
1572-8730
2
PageRank 
References 
Authors
0.42
5
1
Name
Order
Citations
PageRank
Pilar Dellunde115622.63