Weakly representable but not representable relation algebras

DOI10.1007/BF01190815zbMath0812.03036OpenAlexW160358036MaRDI QIDQ1337158

Hajnalka Andréka

Publication date: 16 May 1995

Published in: Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

finite axiomatizabilityrepresentable relation algebrasweakly representable relation algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Weak representations of relation algebras and relational bases ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ On the equational complexity of RRA ⋮ Step by step – Building representations in algebraic logic ⋮ On canonicity and completions of weakly representable relation algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS ⋮ Omitting types for algebraizable extensions of first order logic

Cites Work

• Algebraization of quantifier logics, an introductory overview
• Some sufficient conditions for the representability of relation algebras
• Axiomatization of identity-free equations valid in relation algebras
• Representation of Modular Lattices and Of Relation Algebras
• Nonfinite axiomatizability results for cylindric and relation algebras
• Nonfinitizability of classes of representable cylindric algebras
• Splitting in Relation Algebras
• Combinatorial Relations and Chromatic Graphs