Skip to main content
Log in

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

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Clavé, P.D.I. On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64, 345–353 (2000). https://doi.org/10.1023/A:1005237627378

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005237627378

Navigation