On representability of neatly embeddable cylindric algebras
作者:
Miklós Ferenczi,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 2000)
卷期:
Volume 10,
issue 3-4
页码: 303-315
ISSN:1166-3081
年代: 2000
DOI:10.1080/11663081.2000.10511001
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
As is well-known, a classical representation theorem of the theory of cylindric algebras is: Aε IGwsaif and only ifA ε SNrαCAα+ε.The part “only if” is trivial. Regarding to the other part“A ε SNrαCAα+εthen Aε IGwsα“the following question arises: is it possible to replace the class CA in the hypothesis Aε SNrαCAα+εby a larger class so that the theorem still holds. Such a larger class Kαβis defined. The class Kαβis the best possible, in a sense to be made precise. Representability of set algebras is investigated, too.
点击下载:
PDF (617KB)
返 回