×
安东尼奥·迪·诺拉;贾科莫·伦齐;拉索、安娜·卡拉

u群和MV-代数的一些不变骨架。 （英语） Zbl 1441.06010号

订单 36，第1号，77-97（2019）.
在他的论文中[J.Funct.Anal.65，15-63（1986；Zbl 0597.46059号)]对于短幺正l-群，本文构造了从MV-代数（无限值Łukasiewicz逻辑的C.C.Chang代数）到具有可分辨强序单元的格序阿贝尔群的范畴等价（Gamma）。在本文中，作者将MV-代数的各种性质导出到酉群。例如，证明了每个酉（l）-群都有两组骨架。研究了分别与这些骨架并重合的酉（l）-群类。此外，这些单位群的公理化，以及它们相关的MV代数，是根据几何理论或预剪切类型的理论来考虑的。
审核人：丹尼尔·蒙迪奇（费伦泽）

MSC公司：

05年6月 MV-代数
2015年1月6日 有序的组

关键词：

MV-代数;具有强单位的格序阿贝尔群;骨架;几何理论

引文：

Zbl 0597.46059号
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Nola}等人，第36号令，第1号，77--97（2019年；Zbl 1441.06010）
全文： DOI程序

参考文献：

[1] Bigard，A.，Keimel，K.，Wolfenstein，S.：集团与Anneaux Réticules。施普林格数学讲稿，柏林（1977）·Zbl 0384.06022号 ·doi:10.1007/BFb0067004
[2] Caramello，O.：通用模型和可定义性。数学。程序。外倾角。菲洛斯。Soc.152279-302（2012年）·Zbl 1256.18003号 ·文件编号：10.1017/S0305004111000624
[3] Caramello，O.：《理论、场所、拓扑：通过拓扑理论“桥梁”联系和研究数学理论》。牛津大学出版社，伦敦（2017）·Zbl 1461.03002号
[4] Caramello，O.，Russo，A.C.：具有强单位的MV-代数和格序Abelian群之间的Morita-等价性。《代数杂志》422752-787（2015）·2011年6月13日 ·doi:10.1016/j.jalgebra.2014.08.008
[5] Caramello，O.，Russo，A.C.：关于局部MV-代数的几何理论。《代数杂志》479263-313（2017）·Zbl 1423.06045号 ·doi:10.1016/j.jalgebra.2017.01.005
[6] Chang，C.C.：多值逻辑的代数分析。事务处理。美国数学。Soc.88、467-490（1958年）·兹比尔0084.00704 ·doi:10.1090/S0002-9947-1958-0094302-9
[7] Chang，C.C.：Łukasiewicz公理完备性的新证明。事务处理。美国数学。Soc.93、74-90（1959年）·Zbl 0093.01104号
[8] Cignoli，R.，D’Ottaviano，I.M.L.，Mundici，D.：多值推理的代数基础。多德雷赫特·克鲁沃（2000）·兹比尔0937.06009 ·doi:10.1007/978-94-015-9480-6
[9] Cignoli，R.，Dubuc，E.J.，Mundici，D.：将Stone对偶扩展到多集和局部有限MV-代数。《纯粹与应用代数杂志》189，37-59（2004）·Zbl 1055.06004号 ·doi:10.1016/j.jpaa.2003.10.21
[10] Di Nola，A.，Lettieri，A.：所有MV-代数变种的等式特征。代数杂志221463-474（1999）·Zbl 0946.06009 ·doi:10.1006/jabr.1999.7900
[11] Di Nola，A.，Lettieri，A.：单链生成的各种MV-代数。《代数杂志》225，667-697（2000）·Zbl 0949.06004号 ·doi:10.1006/jabr.1999.8136
[12] Di Nola，A.，Esposito，I.，Gerla，B.：MV-代数表示中的局部代数。《普遍代数》56，133-164（2007）·Zbl 1113.06005号 ·doi:10.1007/s00012-007-1984-6
[13] Johnstone，P.T.：《大象素描：拓朴理论简编》，第1-2卷。牛津大学出版社，纽约-Oxford（2002）·Zbl 1071.18001号
[14] McLane，S.，Moerdijk，I.：《几何和逻辑中的滑轮：拓朴理论的首次介绍》。施普林格，纽约（1992）·兹伯利0822.18001
[15] Mundici，D.：在Łukasiewicz句子演算中对AF C*-代数的解释。J.功能。分析。65, 15-63 (1986) ·Zbl 0597.46059号 ·doi:10.1016/0022-1236（86）90015-7
[16] Mundici，D.：高级Łukasiewicz微积分和MV-代数。施普林格，多德雷赫特（2011）·Zbl 1235.03002号 ·doi:10.1007/978-94-007-0840-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。