×
G.贝扎尼什维利。;北卡罗来纳州贝扎尼什维利。

Profinite Heyting代数。 （英语） Zbl 1155.06007号

订单 25，第3期，211-227（2008）.
如果（A）的每一个元素都是（A）完全联合时间元素的联合，则称Heyting代数（A）为完全联合时间生成。本文定理2.12以两种不同的方式刻画了完全和完全联合时间生成的Heyting代数。
如果代数（A）与有限代数逆系统的逆极限同构，则称其为profinite。定理3.6提供了五个条件，每一个条件都表征了profinite Heyting代数。还得到了该定理的几个结果和相关结果。其中包括定理4.2，它表明线性Heyting代数（L_{infty}）和（L_n）是唯一的profinite线性Heytin代数，以及定理4.4，它表征了profinite有界分配格。
审核人：塞尔吉乌·鲁迪亚努（布库雷什蒂）

引用于22文件

MSC公司：

06D20日 Heyting代数（格理论方面）
06年50月 格与对偶
54个F05 线性序拓扑空间、广义序空间和偏序空间

关键词：

超有限代数;Heyting代数
PDF格式BibTeX公司 XML格式引用
\textit{G.Bezhanishvili}和\textit{N.Bezhenishvili}，第25号令，第3号，211--227（2008；Zbl 1155.06007）
全文： DOI程序

参考文献：

[1] Bezhanishvili，G.：一元Heyting代数的种类。二、。二重性理论。螺柱日志。62(1), 21–48 (1999) ·兹伯利0973.06010 ·doi:10.1023/A:1005173628262
[2] Bezhanishvili，G.，Gehrke，M.，Mines，R.，Morandi，P.J.：Heyting代数的Profinite完备和正则扩张。命令23（2–3），143–161（2006）·Zbl 1112.06008号 ·doi:10.1007/s11083-006-9037-x
[3] Bezhanishvili，N.：中间模态逻辑和圆柱模态逻辑的格。阿姆斯特丹大学博士论文（2006年）
[4] Esakia，L.L.：拓扑Kripke模型。Sov公司。数学。多克。15, 147–151 (1974) ·Zbl 0296.02030号
[5] Esakia，L.L.：关于模态和超直觉系统的理论。《逻辑推理》（莫斯科，1974年），第147-172页。瑙卡，莫斯科（1979）
[6] Esakia，L.L.：Heyting代数I.对偶理论（俄语）。Metsniereba，第比利斯（1985）·Zbl 0601.06009
[7] Harding，J.，Bezhanishvili，G.：Heyting代数的Macneille完备。霍斯特。数学杂志。30, 937–952 (2004) ·Zbl 1066.06005号
[8] Johnstone，P.T.：石头空间。剑桥大学出版社，剑桥（1982）·Zbl 0499.54001号
[9] Malcev，A.I.：代数系统。纽约州施普林格市（1973年）
[10] Priestley，H.A.：用有序Stone空间表示分配格。牛市。伦敦。数学。Soc.2186-190（1970）·兹伯利0201.01802 ·doi:10.1112/blms/2.2.186
[11] Priestley，H.A.：有序拓扑空间和分配格的表示。程序。伦敦。数学。Soc.24（3），507–530（1972）·Zbl 0323.06011号 ·doi:10.1112/plms/s3-24.3.507
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。