Strongly representable atom structures of relation algebras
From MaRDI portal
Publication:2781354
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)
representationchromatic numberelementary classultraproductcomplex algebraatom structureatomic relation algebra
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