×

Stone MV-代数和强完备MV-代数。 (英语) Zbl 1420.06021号

摘要:建立了紧Hausdorff拓扑MV-代数、Stone MV-代数和与它们的有限完备同构的MV-代数的特征。证明了紧Hausdorff拓扑MV-代数是具有区间拓扑的副本([0,1]\)和具有离散拓扑的有限Łukasiewicz链的乘积(拓扑和代数)。更进一步,我们还证明了Stone MV-代数是具有离散拓扑的有限Łukasiewicz链的乘积(拓扑和代数)。最后,证明了MV-代数与它的profinite完备同构当且仅当它是profinite且其有限秩的每个最大理想都是主理想。

MSC公司:

05年6月 MV-代数
2015年6月 石头空间(布尔空间)和相关结构
06天50分 格与对偶
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Alekselev M.A.、Glebskii L.Y.、Gordon E.I.:关于群的逼近、群作用和Hopf代数。数学杂志。《科学》107,4305-4332(2001)·Zbl 1130.20306号 ·doi:10.1023/A:1012485910692
[2] Anderson L.W.:一维拓扑格。程序。阿默尔。数学。Soc.10715-720(1959年)·Zbl 0089.25702号 ·doi:10.1090/S002-9939-1959-0107678-7
[3] Belluce L.P.,Di Nola A.,Lenzi G.:超有限MV-代数。J.纯应用。《代数》2171208-1223(2013)·Zbl 1276.06006号 ·doi:10.1016/j.jpa.2012.10.012
[4] Belluce L.P.,Di Nola A.,Sessa S.:MV-代数的素谱。数学。日志。夸脱。40, 331-346 (1994) ·Zbl 0815.06010号 ·doi:10.1002/malq.19940400304
[5] Bezhanishvili G.,Bezhanisvili N.:Profinite Heyting代数。订单25211-227(2008)·Zbl 1155.06007号 ·doi:10.1007/s11083-008-9089-1
[6] Bezhanishvili G.,Harding J.:关于紧Hausdorff布尔代数是幂集的证明。订单33263-268(2016)·Zbl 1356.06011号 ·doi:10.1007/s11083-015-9363-y
[7] Bezhanishvili G.,Harding J.:紧Hausdorff-Heyting代数。《代数普遍》76301-304(2016)·Zbl 1352.06008号 ·doi:10.1007/s00012-016-0387-y
[8] Bezhanishvili G.,Morandi P.J.:Profinite Heyting代数和Heyting阿尔及利亚的Profinite完备。格鲁吉亚数学。J.16,29-47(2009)·Zbl 1172.06004号
[9] Choe T.H.,Greechie R.J.:深度正交模格。程序。阿默尔。数学。Soc.1181053-1060(1993)·Zbl 0786.06006号 ·doi:10.1090/S0002-9939-1993-1143016-9
[10] Cignoli R.:无限值Łukasiewicz逻辑的完备代数和原子代数。Studia Logica罗技研究50,375-384(1991)·Zbl 0753.03026号 ·doi:10.1007/BF00370678
[11] Cignoli,R.,D’Ottaviano,I.,Mundici,D.:多值推理的代数基础。Kluwer Academic,多德雷赫特(2000)·Zbl 0937.06009
[12] Cignoli R.,Mundici D.:具有阶单位的Dedekind\[{\sigma}\]σ-完备\[{\ell}\]Ş-群的Stone对偶。《代数杂志》302、848-861(2006)·Zbl 1108.06011号 ·doi:10.1016/j.代数.2006.05.029
[13] Di Nola,A.,Leuštean,I.:数学模糊逻辑手册2。逻辑研究38(2011)·Zbl 1284.03178号
[14] Hoo,C.S.:拓扑MV-代数,拓扑及其应用。81, 103-121 (1997) ·Zbl 0896.06010号
[15] Johnstone,P.T.:《石头空间》,剑桥大学出版社,剑桥(1982)·Zbl 0499.54001号
[16] Mundici,D.:[{\sigma}\]σ-完备MV-代数及其相关的Dedekind\[{\σ}\]∑-完备[{\ell}\]У-群的表示。摘自:《代数及其应用》,219-230,Contemp。数学。,419,美国。数学。Soc.,普罗维登斯,2006年·Zbl 1119.06009号
[17] Mundici,D.:高级Łukasiewicz微积分和MV-代数。趋势日志。螺柱日志。伦敦银行同业拆借利率。35,施普林格,纽约(2011)·Zbl 1235.03002号
[18] Nganou J.B.:Profinite MV-代数和多集。订单32449-459(2015)·Zbl 1331.06005号 ·doi:10.1007/s11083-014-9345-5
[19] Nganou J.B.,Tebu S.F.:拓扑FLew-代数。J.应用。日志。13, 259-269 (2015) ·Zbl 1468.06013号 ·doi:10.1016/j.jal.2015年4月15日
[20] Nikolov,N.,Segal,D.:关于有限生成的profinite群。强完备性和统一边界,数学年鉴。165, 171-238 (2007) ·兹比尔1126.20018
[21] Papert Strauss D.:拓扑格。程序。伦敦数学。Soc.(3)18,217-230(1968)·Zbl 0153.33404号 ·doi:10.1112/plms/s3-18.217
[22] Poizat,B.:《模型理论课程:当代数理逻辑导论》,Springer,纽约(2000)·Zbl 0951.0302号
[23] Ribes,L.,Zalesskii,P.:Profinite基团。第二版,一系列现代调查数学。35,斯普林格,纽约(2010年)·Zbl 1197.20022号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。