Characterizing classes defined with equality

DOI10.1023/A:1004978316495zbMath0902.03018OpenAlexW1499603660MaRDI QIDQ1368911

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)

Related Items (10)

Algebraic Characterizations for Universal Fragments of Logic ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Lattices of theories in languages without equality ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Freeness in classes without equality ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ First order logic without equality on relativized semantics ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors

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