A simple construction of representable relation algebras with non-representable completions

Mathematical Logic Quarterly 55 (3):237-244 (2009)
  Copy   BIBTEX

Abstract

We give a simple new construction of representable relation algebras with non-representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710075

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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.
On canonicity and completions of weakly representable relation algebras.Ian Hodkinson & Szabolcs Mikulás - 2012 - Journal of Symbolic Logic 77 (1):245-262.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
On nonrepresentable G-polyadic algebras with representable cylindric reducts.Gábor Sági - 2011 - Logic Journal of the IGPL 19 (1):105-109.
Completely Representable Relation Algebras.Robin Hirsch - 1995 - Logic Journal of the IGPL 3 (1):77-92.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.
On complete representations of algebras of logic.Mohamed Khaled & Tarek Sayed-Ahmed - 2009 - Logic Journal of the IGPL 17 (3):267-272.
Axiomatising Various Classes of Relation and Cylindric Algebras.Robin Hirsch & Ian Hodkinson - 1997 - Logic Journal of the IGPL 5 (2):209-229.
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.
The lattice of varieties of representable relation algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Weakly associative relation algebras with polyadic composition operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.

Analytics

Added to PP
2015-10-24

Downloads
14 (#930,021)

6 months
4 (#678,769)

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

Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.

Add more references