共 50 条
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
相关论文