Journal of Symbolic Logic 62 (3):816-847 (1997)

A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension are elementary.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,586
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Omitting Types for Finite Variable Fragments of First Order Logic.T. Sayed Ahmed - 2003 - Bulletin of the Section of Logic 32 (3):103-107.

View all 12 citations / Add more citations

Similar books and articles

Complete Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Completely Representable Relation Algebras.Robin Hirsch - 1995 - Logic Journal of the IGPL 3 (1):77-92.
On Complete Representations of Algebras of Logic.Mohamed Khaled & Tarek Sayed-Ahmed - 2009 - Logic Journal of the IGPL 17 (3):267-272.
Atom Structures of Cylindric Algebras and Relation Algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Finite Schematizable Algebraic Logic.I. Sain & V. Gyuris - 1997 - Logic Journal of the IGPL 5 (5):699-751.


Added to PP index

Total views
5 ( #1,110,138 of 2,348,756 )

Recent downloads (6 months)
1 ( #512,546 of 2,348,756 )

How can I increase my downloads?


My notes