Advanced Topics in Relation Algebras

DOI10.1007/978-3-319-65945-9zbMath1436.03001OpenAlexW2752235250MaRDI QIDQ5364874

Steven Givant

Publication date: 28 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-65945-9

zbMATH Keywords

representationcompletionvarietyrelation algebracanonical extensionuniversal classatom structure

Mathematics Subject Classification ID

Lattices of varieties (08B15) Complete distributivity (06D10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complete lattices, completions (06B23) Structure theory of algebraic structures (08A05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Other classes of algebras (08C99)

Related Items (10)

Coset relation algebras ⋮ Representable and diagonally representable weakening relation algebras ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ A representation theorem for measurable relation algebras with cyclic groups ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ Term algebras of elementarily equivalent atom structures ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Canonical Relativized Cylindric Set Algebras and Weak Associativity ⋮ Beth Definability in the Logic KR

This page was built for publication: Advanced Topics in Relation Algebras