Characterizing classes defined with equality

DOI10.1023/A:1004978316495MaRDI QIDQ1368911zbMATH OpenOpenAlexFDO

Authors Raimon Elgueta

Publication date 3 December 1998

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

semanticsBirkhoff-type theoremsfirst order languages without equalityfull classesLeibniz equalityreduced classes

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Recommendations

• On the Expressive Power of Equality-Free First Order Languages
• Categoricity without equality
• On elementary equivalence for equality-free logic
• scientific article; zbMATH DE number 3952731

Cited in

(14)

• First order logic without equality on relativized semantics
• Freeness in classes without equality
• scientific article; zbMATH DE number 3952731 (Why is no real title available?)
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categoricity without equality
• Lattices of theories in languages without equality
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• On the Expressive Power of Equality-Free First Order Languages
• 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
• scientific article; zbMATH DE number 4055581 (Why is no real title available?)
• Algebraic Characterizations for Universal Fragments of Logic
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors

This page was built for publication: Characterizing classes defined with equality

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