On neat embeddings of cylindric algebras

被引:3
|
作者
Ahmed, Tarek Sayed [1 ]
机构
[1] Cairo Univ, Fac Sci, Dept Math, Giza, Egypt
关键词
Algebraic logic; neat reducts; super amalgamation;
D O I
10.1002/malq.200810028
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We show that certain properties of dimension complemented cylindric algebras, concerning neat embeddings, do not generalize much further. Let alpha >= omega. There are non-isomorphic representable cylindric algebras of dimension alpha each of which is a generating subreduct of the same beta dimensional cylindric algebra. We also show that there exists a representable cylindric algebra U of dimension alpha, such that 21 is a generating subreduct of b and B', both in CA(alpha+omega) however B and B' are not isomorphic. This settle questions raised by Henkin, Monk and Tarski. (C) 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
引用
收藏
页码:666 / 668
页数:3
相关论文
共 50 条