On definability of the equality in classes of algebras with an equivalence relation

Pilar Dellunde I Clavé

On definability of the equality in classes of algebras with an equivalence relation

Pilar Dellunde I Clavé

Departament de Filosofia

Producció científica: Contribució a una revista › Article › Recerca › Avaluat per experts

4 Cites (Scopus)

Resum

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 atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.

Idioma original	English
Pàgines (de-a)	345-353
Revista	Studia Logica
Volum	64
Número	3
Estat de la publicació	Publicada - 1 de des. 2000

Com citar-ho

@article{ecec5785ed2f40448df581d882e1dc4e,

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 atomically definable but not finitely atomically definable. {\textcopyright} 2000 Kluwer Academic Publishers.",

keywords = "Algebraic logic, Equivalential logics, Model theory",

author = "{Dellunde I Clav{\'e}}, Pilar",

year = "2000",

month = dec,

day = "1",

language = "English",

volume = "64",

pages = "345--353",

journal = "Studia Logica",

issn = "0039-3215",

number = "3",

}

TY - JOUR

T1 - On definability of the equality in classes of algebras with an equivalence relation

AU - Dellunde I Clavé, Pilar

PY - 2000/12/1

Y1 - 2000/12/1

N2 - 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 atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.

AB - 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 atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.

KW - Algebraic logic

KW - Equivalential logics

KW - Model theory

M3 - Article

SN - 0039-3215

VL - 64

SP - 345

EP - 353

JO - Studia Logica

JF - Studia Logica

IS - 3

ER -

On definability of the equality in classes of algebras with an equivalence relation

Resum

Fingerprint

Com citar-ho