Premium
Existence of partial transposition means representability in cylindric algebras
Author(s) -
Ferenczi Miklös
Publication year - 2011
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200910120
Subject(s) - transposition (logic) , mathematics , scope (computer science) , set (abstract data type) , representation (politics) , operator (biology) , algebra over a field , pure mathematics , combinatorics , computer science , programming language , chemistry , biochemistry , geometry , repressor , politics , political science , transcription factor , law , gene
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 (while the existence of transposition assures polyadic representation). Further we characterize those cylindric algebras in which the operator transposition can be introduced (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)