Pair-Dense Relation Algebras

DOI10.2307/2001878zbMath0746.03055OpenAlexW4253871889MaRDI QIDQ3985845

Roger D. Maddux

Publication date: 27 June 1992

Full work available at URL: https://doi.org/10.2307/2001878

zbMATH Keywords

complete representabilitypair-dense relation algebrapoint-dense relation algebrasemiassociative relation algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)

Related Items (17)

Relation algebras and groups ⋮ Coset relation algebras ⋮ Total tense algebras and symmetric semiassociative relation algebras ⋮ Dependences between domain constructions in heterogeneous relation algebras ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Second-order properties of undirected graphs ⋮ Relational characterisations of paths ⋮ Relation algebras can tile ⋮ A representation theorem for measurable relation algebras with cyclic groups ⋮ Algebraization of quantifier logics, an introductory overview ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ Free algebras in discriminator varieties ⋮ A representation theorem for measurable relation algebras ⋮ Weakly associative relation algebras with projections ⋮ Necessary subalgebras of simple nonintegral semiassociative relation algebras ⋮ Notions of density that imply representability in algebraic logic ⋮ Tarskian Classical Relevant Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The representation of relation algebras. II
• Relation algebras and projective geometries
• A sequent calculus for relation algebras
• Varieties of relation algebras
• Relation algebras: Concept of points and representability
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Some sufficient conditions for the representability of relation algebras
• On representable relation algebras
• The representation of relational algebras
• Some Varieties Containing Relation Algebras
• The equational theory of CA₃ is undecidable
• Nonfinite axiomatizability results for cylindric and relation algebras
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• On the calculus of relations
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Pair-Dense Relation Algebras