Freeness in classes without equality

DOI10.2307/2586624zbMath0960.03029OpenAlexW2043292442MaRDI QIDQ4934034

Raimon Elgueta

Publication date: 10 May 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586624

zbMATH Keywords

protoalgebraicityfree modelfirst order languages without equalityfull classesLeibniz equalityreduced classessemialgebraicitystructural properties of classes of models

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Properties of classes of models (03C52) Abstract deductive systems (03B22) Basic properties of first-order languages and structures (03C07) Other classes of algebras (08C99)

Related Items (4)

Algebraic Characterizations for Universal Fragments of Logic ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Characterizing specification languages which admit initial semantics
• Logical matrices and the amalgamation property
• Filter distributive logics
• Matrices, primitive satisfaction and finitely based logics
• Algebraic aspects of deduction theorems
• Local deductions theorems
• Some theorems on structural consequence operations
• Varieties of ordered algebras
• Free algebras as subdirect products
• Characterizing classes defined with equality
• Algebraizable logics
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Freeness in classes without equality