Premium
A note on substitutions in representable cylindric algebras
Author(s) -
Ahmed Tarek Sayed
Publication year - 2009
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.200710086
Subject(s) - dimension (graph theory) , mathematics , substitution (logic) , operator (biology) , type (biology) , pure mathematics , algebra over a field , computer science , chemistry , biology , programming language , paleontology , transcription factor , gene , biochemistry , repressor
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 (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)