Freeness in classes without equality

DOI10.2307/2586624zbMath0960.03029MaRDI 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

protoalgebraicity; free model; first order languages without equality; full classes; Leibniz equality; reduced classes; semialgebraicity; structural properties of classes of models

Mathematics Subject Classification ID

03C05: Equational classes, universal algebra in model theory

03C52: Properties of classes of models

03B22: Abstract deductive systems

03C07: Basic properties of first-order languages and structures

08C99: Other classes of algebras

Related Items

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