×
马可·阿巴迪尼;卢卡·斯帕达

局部有限MV-代数是一个簇吗？ （英语） Zbl 1497.06012号

J.纯应用。代数 226，第4期，文章ID 106858，28页（2022）。
在[AdvancedŁukasiewicz calculation and MV-algebras.柏林：施普林格出版社（2011；Zbl 1235.03002号)],D.蒙迪奇指出局部有限MV-代数类在同态像和子代数的形成下是封闭的。他还注意到，当把这个类视为一个类别时，它有产品。然后他问（在问题3中）这个类是否是等式定义的类。（这是一种多样性吗？）在所审查的论文中，这个问题得到了积极和消极的回答。
主要结果如下：
(1)
局部有限MV-代数的范畴不等价于任何有限簇。
(2)
局部有限MV-代数的范畴不等价于任何有限排序的有限拟簇。
(3)
局部有限MV-代数的范畴等价于具有最多可数元运算的无穷簇。
(4)
局部有限MV-代数的范畴等价于可数的有限簇。
这些结果是通过在多集的双重类别中工作而得到的。这一二元性在本文中由R.奇诺利等[J.Pure Appl.Algebra 189，No.1–3，37–59（2004；Zbl 1055.06004号)].
审核人：基思·卡恩斯（博尔德）

引用于1文件

MSC公司：

第65页 MV-代数
18二氧化碳 赤道类
08C05号机组 代数的范畴

关键词：

方程类，局部有限，多集，MV-代数，簇

引文：

Zbl 1235.03002号;Zbl 1055.06004号
PDF格式BibTeX公司 XML格式引用
\textit{M.Abbadini}和\textit{L.Spada}，J.Pure Appl。代数226，第4号，文章ID 106858，28页（2022；Zbl 1497.06012）
全文： 内政部 arXiv公司

参考文献：

[1] M.Abbadini，V.Marra，L.Spada，Stone-Gelfand对偶，对于群：范数完全格序群的拓扑对偶和等式公理化，2021，正在准备中。
[2] Adámek，J.，《关于准变种和变种作为类别》，Stud.Log。，78, 1-2, 7-33 (2004) ·Zbl 1072.08001号
[3] Adámek，J。；Herrlich，H。；斯特雷克，G.E.，《抽象与具体范畴：猫的快乐》，《再现理论应用》。类别。，第17卷，1-507（2006），威利：威利纽约，1990年原版再版·Zbl 1113.18001号
[4] Adámek，J。；罗西克？，J.，《本地可呈现和可访问类别》，伦敦数学学会讲义系列，第189卷（1994），剑桥大学出版社·Zbl 0795.18007号
[5] Adámek，J。；罗西克·J。；Vitale，E.M.，《代数理论：普通代数的分类介绍》，《剑桥数学丛书》，第184卷（2010年），剑桥大学出版社·Zbl 1209.18001号
[6] Baer，R.，《没有有限阶元素的阿贝尔群》，杜克数学。J.，3，1，68-122（1937年）
[7] 巴尔，M。；Beck，J.，《非循环模型和三元组》（Categorical Algebra会议论文集（1966），Springer），336-343·Zbl 0201.35403号
[8] 巴尔，M。；Grillet，P.A。；van Osdol，D.H.，《滑轮的精确类别和分类》，数学课堂讲稿，第236卷（1971年），Springer-Verlag:Springer-Verlag Berlin·Zbl 0223.18009
[9] Beck，J.，Triples，代数与同调（1967），哥伦比亚大学，博士论文
[10] 布利扎德，W.D.，多集理论，圣母院J.Form.Log。，30, 36-66 (1989) ·Zbl 0668.03027号
[11] Borceux，F。；Janelidze，G.，《伽罗瓦理论》，《剑桥高等数学研究》，第72卷（2001年），剑桥大学出版社：剑桥大学出版社·Zbl 0978.12004号
[12] Cabrer，L.M。；Mundici，D.，分类整数上仿射群的轨道，Ergod。理论动力学。系统。，37, 2, 440-453 (2017) ·Zbl 1417.37114号
[13] 卡布勒，L.M。；Spada MV代数，L.，无限维多面体，和自然对偶，Arch。数学。日志。，56, 1-2, 21-42 (2017) ·Zbl 1367.06006号
[14] Chang，C.C.，多值逻辑的代数分析，Trans。数学。Soc.，88，2，467-490（1958年）·Zbl 0084.00704号
[15] Cicalese，F。；Mundici，D.，反馈编码的最新发展及其与多值逻辑的关系，（证明、计算和代理（2011），Springer），115-131·Zbl 1319.03040号
[16] Cignoli，R。；杜布克，E.J。；Mundici，D.，将Stone对偶扩展到多集和局部有限MV-代数，J.Pure Appl。代数，189，1-3，37-59（2004）·Zbl 1055.06004号
[17] Cignoli，R。；Marra，V.，实值多集的Stone对偶，论坛数学。，24, 6 (2012) ·Zbl 1273.06006号
[18] Cignoli，R.L.O。；D’Ottaviano，I.M.L。；Mundici，D.，《多值推理的代数基础》，Logic-Studia Logica Library趋势，第7卷（2000年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.06009
[19] Fuchs，L.，无限阿贝尔群。第二卷，《纯粹和应用数学》，第36卷至第II卷（1973年），学术出版社：学术出版社纽约-朗登·Zbl 0257.20035号
[20] 加布里埃尔，P。；Ulmer，F.，Lokal präsenierbare Kategorien，数学课堂笔记，第221卷（1971）·Zbl 0225.18004号
[21] 吉万特，S。；Halmos，P.，《布尔代数导论》，数学本科生教材（2009年），斯普林格科学与商业媒体·Zbl 1168.06001号
[22] Glimm，J.G.，关于一类算子代数，Trans。数学。《社会学杂志》，95，318-340（1960）·Zbl 0094.09701号
[23] 霍夫曼，R.-E.，部分序集的Sobrization，半群论坛，17，1，123-138（1979）·Zbl 0402.54035号
[24] Isbell，J.R.，代数的子对象、充分性、完备性和范畴（1964）·Zbl 0133.26703号
[25] Johnstone，P.T.，Stone Spaces，《剑桥高等数学研究》，第3卷（1986年），剑桥大学出版社：剑桥大学出版社·兹比尔0586.54001
[26] Jürgensen，H.，多集、堆、袋、家庭：什么是多集？，数学。结构。计算。科学。，30, 2, 139-158 (2020) ·Zbl 1478.03075号
[27] Kolařík，M.，MV-代数公理系统的独立性，数学。斯洛伐克，63，1，1-4（2013）·Zbl 1313.06017号
[28] Koppelberg，S.，《布尔代数手册》，第1卷（1989），North-Holland出版社：North-Holland出版社，阿姆斯特丹，J.Donald Monk和Robert Bonnet编辑·Zbl 0671.06001号
[29] 莱克，J.，《集，模糊集，多集与函数》，J.隆德。数学。学会（2）、12、3、323-326（1975-1976）·Zbl 0325.02046号
[30] Lawvere，F.W.，《代数理论的功能语义》（1963年），哥伦比亚大学，（可作为TAC再版5获得评论。）·Zbl 0119.25901号
[31] Linton，F.E.J.，《方程理论的某些方面》（《La Jolla的范畴代数汇编》，1966年），84-95
[32] 马拉，V。；Mundici，D.，单位Abelian格序群的Lebesgue态，群理论，10，5，655-684（2007）·Zbl 1136.06009号
[33] 马拉，V。；Reggio，L.，《零维以上的斯通对偶：C（X）代数理论公理化》，高等数学。，307, 253-287 (2017) ·Zbl 1376.03038号
[34] 马拉，V。；Spada，L.，MV-代数和Tychonoff空间之间的对偶附加，Stud.Log。，100, 1-2, 253-278 (2012) ·Zbl 1252.06006号
[35] 马拉，V。；Spada，L.，《尤卡西维茨逻辑和MV-代数中的对偶性、射影性和统一》，Ann.Pure Appl。日志。，164, 3, 192-210 (2013) ·Zbl 1275.03099号
[36] Monro，G.P.，《多集合的概念》，Z.数学。日志。格伦德尔。数学。，33, 171-178 (1987) ·Zbl 0609.04008号
[37] Mundici，D.，AdvancedŁukasiewicz Calculus and MV-Algebras，Logic-Studia Logica Library趋势，第35卷（2011年），Springer:Springer-Dordrecht·Zbl 1235.03002号
[38] Mundici，D.，自由Abelian的粉丝、决策问题和生成器ℓ-小组，论坛数学。，29, 6, 1429-1439 (2017) ·Zbl 1473.06023号
[39] Mundici，D.，Elliott幺半群中的单词问题，高级数学。，335343-371（2018）·Zbl 1404.46061号
[40] Pedicchio，医学博士。；Vitale，E.M.，《关于拟变量的抽象表征》，代数大学。，43, 2-3, 269-278 (2000) ·Zbl 1011.08010号
[41] Serre，J.-P.，上同系物Galoisienne，数学讲义，第5卷（1994），Springer-Verlag:Springer-Verlag Berlin·Zbl 0812.12002年
[42] Shatz，S.S.，Profinite Group，算术和几何，《数学研究年鉴》，第67卷（1972年），普林斯顿大学出版社，东京大学出版社：普林斯顿大学出版，东京大学出版，新泽西州普林斯顿·兹比尔0236.12002
[43] Steinitz，E.，《科尔珀代数理论》，J.Reine Angew。数学。，137, 167-309 (1910)
[44] Syropoulos，A.，《多集数学》，（多集处理。多集处理，计算科学讲义，第2235卷（2001），施普林格：施普林格-柏林），347-358·Zbl 1052.03030号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。