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

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

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. © 2000 Kluwer Academic Publishers.
Original languageEnglish
Pages (from-to)345-353
JournalStudia Logica
Volume64
Issue number3
Publication statusPublished - 1 Dec 2000

Keywords

  • Algebraic logic
  • Equivalential logics
  • Model theory

Fingerprint Dive into the research topics of 'On definability of the equality in classes of algebras with an equivalence relation'. Together they form a unique fingerprint.

Cite this