On canonicity and completions of weakly representable relation algebras

&
Journal of Symbolic Logic 77 (1):245-262 (2012)
  Copy   BIBTEX

Abstract

We show that the variety of weakly representable relation algebras is neither canonical nor closed under Monk completions

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1327068701

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

A simple construction of representable relation algebras with non‐representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
A simple construction of representable relation algebras with non-representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (4):465-511.
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.
Weakly associative relation algebras with polyadic composition operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
Non-representable relation algebras from vector spaces.Ian Hodkinson - 2020 - Australasian Journal of Logic 17 (2):82-109.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Weakly representable atom structures that are not strongly representable, with an application to first order logic.Tarek Sayed Ahmed - 2008 - Mathematical Logic Quarterly 54 (3):294-306.
Weak representations of relation algebras and relational bases.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2011 - Journal of Symbolic Logic 76 (3):870 - 882.
Complete Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.

Analytics

Added to PP
2012-01-21

Downloads
24 (#155,087)

6 months
11 (#1,140,922)

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

[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.

View all 6 references / Add more references