Strongly representable atom structures of relation algebras

DOI10.1090/S0002-9939-01-06232-3zbMath1002.03054MaRDI QIDQ2781354

I. M. Hodkinson, Robin Hirschl

Publication date: 19 March 2002

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

representationchromatic numberelementary classultraproductcomplex algebraatom structureatomic relation algebra

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Coloring of graphs and hypergraphs (05C15) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Subcompletions of representable relation algebras ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Canonical varieties with no canonical axiomatisation ⋮ On the variety generated by completions of representable relation algebras ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Strongly representable atom structures of cylindric algebras ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom ⋮ Tarskian Classical Relevant Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The representation of relation algebras. II
• A sequent calculus for relation algebras
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Model theory.
• Some sufficient conditions for the representability of relation algebras
• Atom structures and Sahlqvist equations
• Atom structures of cylindric algebras and relation algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• On representable relation algebras
• Every two elementarily equivalent models have isomorphic ultrapowers
• Varieties of complex algebras
• The representation of relational algebras
• Graph Theory and Probability
• Some Varieties Containing Relation Algebras
• Nonfinite axiomatizability results for cylindric and relation algebras
• Step by step – Building representations in algebraic logic
• Complete representations in algebraic logic
• Nonfinitizability of classes of representable cylindric algebras