亚历杭德罗·彼得罗维奇 一元德摩根代数。 (英语) Zbl 0927.06009 Caicedo,Xavier(编辑)等人,《模型、代数和证明》。第十届拉丁美洲数理逻辑研讨会论文选集,哥伦比亚波哥大,1995年6月24日至29日。纽约州纽约市:马塞尔·德克尔。莱克特。Notes纯应用。数学。203, 315-333 (1999). 一元De Morgan代数是一个代数\(A,nabla)\,其中\(A\)是一个De Morgen代数,\(nabla\)是\(A~)上的存在量词。由\(Delta x=\;\sim\nabla\sim x\)定义的运算符\(Delta\)是\(a\)上的全称量词,因此\(nabla(a)=\Delta(a)\)。本文将Priestley对偶性推广到一元De Morgan代数的簇({mathcal M})上,因此,代数的同余格(a\In{mathcalM})是用其关联空间的某些闭集来刻画的。然后确定了({mathcal M})中的单代数和次直不可约代数。最后,作者给出了({mathcal M})中自由代数的De Morgan空间的一个构造,推广了Halmos对一元布尔代数的构造。关于整个系列,请参见[Zbl 0905.00049号].审核人:M.Abad(巴伊亚·布兰卡) 引用于4文件 MSC公司: 06时30分 De Morgan代数,Łukasiewicz代数(格理论方面) 03G25号 与逻辑相关的其他代数 关键词:一元De Morgan代数;普里斯特利对偶;同余格;次直不可约代数;自由代数的De Morgan空间 PDF格式BibTeX公司 XML格式引用 \textit{A.Petrovich},莱克特。Notes纯应用。数学。203、315--333(1999;Zbl 0927.06009)