Definability of Leibniz equality

DOI10.1023/A:1005214714620MaRDI QIDQ1970645zbMATH OpenOpenAlexFDO

Authors Ramon Jansana, Raimon Elgueta

Publication date 21 March 2000

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005214714620

zbMATH Keywords

Leibniz equality of relational structures

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Properties of classes of models (03C52) Other infinitary logic (03C75)

Review text

The notion of Leibniz equality of relational structures is introduced, and the atomic, pseudo-atomic and finitely elementary definability of Leibniz equalities are characterized.

Cited in

(5)

• On the closure properties of the class of full G-models of a deductive system
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• Characterization of protoalgebraic \(k\)-deductive systems
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems

This page was built for publication: Definability of Leibniz equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1970645)