首页   按字顺浏览 期刊浏览 卷期浏览 On representability of neatly embeddable cylindric algebras
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)



返 回