Existence of partial transposition means representability in cylindric algebras

Mathematical Logic Quarterly 57 (1):87-94 (2011)
  Copy   BIBTEX

Abstract

We show that the representability of cylindric algebras by relativized set algebras depends on the scope of the operation transposition which can be defined on the algebra. The existence of “partial transposition” assures this kind of representability of the cylindric algebra . Further we characterize those cylindric algebras in which the operator transposition can be introduced

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910120

Links

PhilArchive



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

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

Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.
Weakly higher order cylindric algebras and finite axiomatization of the representables.I. Németi & A. Simon - 2009 - Studia Logica 91 (1):53 - 62.
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.Dumitru Daniel Drăgulici - 2006 - Archive for Mathematical Logic 45 (5):601-613.
Neat embeddings as adjoint situations.Tarek Sayed-Ahmed - 2015 - Synthese 192 (7):1-37.
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, JD Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Perfect IFG-Formulas.Allen L. Mann - 2008 - Logica Universalis 2 (2):265-275.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
On representability of neatly embeddable cylindric algebras.Miklós Ferenczi - 2000 - Journal of Applied Non-Classical Logics 10 (3):303-315.

Analytics

Added to PP
2013-12-01

Downloads
21 (#720,615)

6 months
4 (#800,606)

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

On Cylindric Algebras Satisfying Merry-go-round Properties.Miklós Ferenczi - 2007 - Logic Journal of the IGPL 15 (2):183-197.
Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.
A note on substitutions in representable cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):280-287.

Add more references