Weakly representable but not representable relation algebras

DOI10.1007/BF01190815MaRDI QIDQ1337158zbMATH OpenOpenAlexFDO

Authors Hajnal 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)

Recommendations

• Weak representations of relation algebras and relational bases
• Weakly representable relation algebras form a variety
• On the variety question for wRRA
• A simple construction of representable relation algebras with non-representable completions
• Weakly representable atom structures that are not strongly representable, with an application to first order logic

Cites work

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

Cited in

(29)

• Algebraization of quantifier logics, an introductory overview
• Weakly representable atom structures that are not strongly representable, with an application to first order logic
• A simple construction of representable relation algebras with non-representable completions
• Representability of pairing relation algebras depends on your ontology
• Representations of additive relation algebras by modules
• scientific article; zbMATH DE number 67045 (Why is no real title available?)
• Nonrepresentable relation algebras generated by functional elements
• Step by step – Building representations in algebraic logic
• Representability of Lyndon-Maddux relation algebras
• scientific article; zbMATH DE number 67033 (Why is no real title available?)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Omitting types for algebraizable extensions of first order logic
• Weak representations of relation algebras and relational bases
• Finite Symmetric Integral Relation Algebras with No 3-Cycles
• There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
• Decidability of Relation Algebras with Weakened Associativity
• Lattice-Based Relation Algebras II
• scientific article; zbMATH DE number 67031 (Why is no real title available?)
• Weakly representable relation algebras form a variety
• First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
• Bifunctional-elementary relation algebras
• Weakening Relation Algebras and FL$$^2$$-algebras
• On canonicity and completions of weakly representable relation algebras
• On the equational complexity of RRA
• Weakly associative relation algebras with polyadic composition operations
• Representability is not decidable for finite relation algebras
• scientific article; zbMATH DE number 1984508 (Why is no real title available?)
• Completely Representable Relation Algebras
• Undecidability of representability as binary relations

This page was built for publication: Weakly representable but not representable relation algebras

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