Complete representations in algebraic logic

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

Abstract

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 (at least 3) are elementary

Categories

Keywords

Reprint years

DOI

10.2307/2275574

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
Completely Representable Relation Algebras.Robin Hirsch - 1995 - Logic Journal of the IGPL 3 (1):77-92.
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.
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.
A simple construction of representable relation algebras with non-representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
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.
On nonrepresentable G-polyadic algebras with representable cylindric reducts.Gábor Sági - 2011 - Logic Journal of the IGPL 19 (1):105-109.
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.

Analytics

Added to PP
2009-01-28

Downloads
68 (#306,071)

6 months
9 (#455,691)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.

View all 26 citations / Add more citations

References found in this work

Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.

Add more references