Subdirect representation theory for classes without equality

DOI10.1007/S000120050090MaRDI QIDQ1966161zbMATH OpenOpenAlexFDO

Authors Raimon Elgueta

Publication date 27 February 2000

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s000120050090

zbMATH Keywords

classes without equalitymodel theorysubdirect representation

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Properties of classes of models (03C52) Subdirect products and subdirect irreducibility (08B26) Axiomatic model classes (08C10)

Review text

The paper wants to be a contribution to the development of an algebraic theory of structures in languages without identity. The basic framework for a suitable approach to this theory is provided and the problem of subdirect representability is addressed. The approach to the theory is largely borrowed from recent developments in abstract algebraic logic.

Recommendations

• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Freeness in classes without equality
• On some developments in the representation theory of cylindric-like algebras
• scientific article; zbMATH DE number 139647
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors

Cited in

(8)

• Nonstandard subdirect representations in axiomatizable classes
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• Algebraic Characterizations for Universal Fragments of Logic
• Freeness in classes without equality
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

This page was built for publication: Subdirect representation theory for classes without equality

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