Freeness in classes without equality

DOI10.2307/2586624MaRDI QIDQ4934034zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On elementary equivalence for equality-free logic
• Subdirect representation theory for classes without equality
• On the Expressive Power of Equality-Free First Order Languages
• Independence and freedom
• Characterizing classes defined with equality

Cites work

• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Algebraic aspects of deduction theorems
• Algebraizable logics
• Characterizing classes defined with equality
• Characterizing specification languages which admit initial semantics
• Filter distributive logics
• Free algebras as subdirect products
• Local deductions theorems
• Logical matrices and the amalgamation property
• Matrices, primitive satisfaction and finitely based logics
• Some theorems on structural consequence operations
• The Semantics of Predicate Logic as a Programming Language
• Varieties of ordered algebras

Cited in

(8)

• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• scientific article; zbMATH DE number 91424 (Why is no real title available?)
• Independence and freedom
• On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
• Subdirect representation theory for classes without equality
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• scientific article; zbMATH DE number 3946391 (Why is no real title available?)
• Algebraic Characterizations for Universal Fragments of Logic

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

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