A note on substitutions in representable cylindric algebras

Mathematical Logic Quarterly 55 (3):280-287 (2009)
  Copy   BIBTEX

Abstract

We show that it is impossible to define a substitution operator for arbitrary representable cylindric algebras that agrees in its basic properties with the notion of substitutions introduced for dimension complemented algebras

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710086

Links

PhilArchive



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

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

On nonrepresentable G-polyadic algebras with representable cylindric reducts.Gábor Sági - 2011 - Logic Journal of the IGPL 19 (1):105-109.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.
On Complete Representations of Reducts of Polyadic Algebras.Tarek Sayed Ahmed - 2008 - Studia Logica 89 (3):325-332.
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Neat embeddings as adjoint situations.Tarek Sayed-Ahmed - 2015 - Synthese 192 (7):1-37.
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
A Neat Embedding Theorem For Expansions Of Cylindric Algebras.Tarek Sayed-Ahmed & Basim Samir - 2007 - Logic Journal of the IGPL 15 (1):41-51.
A simple construction of representable relation algebras with non‐representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
Noncummulative cylindric algebras and relativizations of cylindric algebras.Richard Thompson - 1988 - Bulletin of the Section of Logic 17 (2):75-81.
Axiomatising Various Classes of Relation and Cylindric Algebras.Robin Hirsch & Ian Hodkinson - 1997 - Logic Journal of the IGPL 5 (2):209-229.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Finite schematizable algebraic logic.I. Sain & V. Gyuris - 1997 - Logic Journal of the IGPL 5 (5):699-751.

Analytics

Added to PP
2013-12-01

Downloads
25 (#620,961)

6 months
9 (#294,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On Cylindric Algebras Satisfying Merry-go-round Properties.Miklós Ferenczi - 2007 - Logic Journal of the IGPL 15 (2):183-197.
On representability of neatly embeddable cylindric algebras.Miklós Ferenczi - 2000 - Journal of Applied Non-Classical Logics 10 (3):303-315.
Relation algebras from cylindric and polyadic algebras.I. Nemeti & A. Simon - 1997 - Logic Journal of the IGPL 5 (4):575-588.

View all 8 references / Add more references