Weak representations of relation algebras and relational bases

, &
Journal of Symbolic Logic 76 (3):870 - 882 (2011)
  Copy   BIBTEX

Abstract

It is known that for all finite n ≥ 5, there are relation algebras with n-dimensional relational bases but no weak representations. We prove that conversely, there are finite weakly representable relation algebras with no n-dimensional relational bases. In symbols: neither of the classes RA n and wRRA contains the other

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1309952524

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relation algebras with n-dimensional relational bases.Robin Hirsch & Ian Hodkinson - 2000 - Annals of Pure and Applied Logic 101 (2-3):227-274.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n.Tarek Sayed Ahmed - 2020 - Notre Dame Journal of Formal Logic 61 (4):503-519.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras.Jeremy F. Alm, Robin Hirsch & Roger D. Maddux - 2016 - Review of Symbolic Logic 9 (3):511-521.
Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
Review: Relation algebras by games Robin Hirsch, Ian Hodkinson: Relation algebras by games. [REVIEW]Roger Maddux - 2003 - Logic Journal of the IGPL 11 (5):577-581.
Non-representable relation algebras from vector spaces.Ian Hodkinson - 2020 - Australasian Journal of Logic 17 (2):82-109.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5.Wojciech Dzik & Beniamin Wróbel - 2015 - Bulletin of the Section of Logic 44 (1/2):1-14.

Analytics

Added to PP
2013-09-30

Downloads
81 (#258,647)

6 months
12 (#296,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
Relation algebras of every dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.

Add more references