×
JoséGil-Férez；安东尼奥·莱达；君士坦丁·齐纳基斯

序代数的外壳：可投射性、强可投射性和横向完备性。 （英语） Zbl 1423.06052号

J.代数 483, 429-474 (2017).
摘要：在过去的十年中，有令人信服的证据表明，格序群在逻辑代数的研究中发挥了比先前预期更为重要的作用。它们的关键作用体现在两个方面：首先，一些研究文章已经确定，一些最著名的逻辑代数类可以被视为带有模态算子的群。第二，也许更重要的是，最近的研究表明，Conrad程序对（ell）-群的基础可以有益地扩展到更广泛的代数类，即循环剩余格的多样性，即满足恒等式（x\setminus e\approxix e/x）的剩余格。这里，术语康拉德计划指的是保罗·康拉德（Paul Conrad）研究（ell）-群的方法，该方法通过主要关注凸（ell）-子群的格来分析个体或类的结构。
本文在上述工作的基础上，研究了（e）-循环剩余格的横向完全、可投射和强可投射壳的存在唯一性。虽然这些外壳最初是在函数分析的背景下出现的，尤其是在Riesz空间理论中，但将其引入逻辑代数的研究中，增加了该领域的新工具和技术，并为深入探索其逻辑对应物开辟了可能性。

引用于4文件

MSC公司：

05年6月 有序半群和幺半群
05年6月 MV-代数
2015年1月6日 有序的组
03G10年 格和相关结构的逻辑方面
03B47型 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
08B15号 品种格

关键词：

序半群和幺半群；MV-代数；有序组；代数逻辑；格及其相关结构；子结构逻辑；品种格
PDF格式BibTeX公司 XML格式引用
\textit{J.Gil-Férez}等人，J.Algebra 483，429--474（2017；Zbl 1423.06052）
全文： 内政部

参考文献：

[1] Aliprantis，C.D。；Langford，E.，阿基米德-黎兹空间和（l）-群的序完备，代数普遍，19，2，151-159（1984），MR758314（85h:46015）·Zbl 0548.06008号
[2] Amemiya，I.，半序线性空间中的一般谱理论，J.Fac。科学。北海道大学，1，12，111-156（1953）·Zbl 0053.25802号
[3] 安德森，M。；康拉德，P。；Martinez，J.，凸的格\(ℓ\)-格序群的子群，（Glass，a.M.W.；Holland，W.C.，《格序群》（1989），D.Reidel:D.Reidel Dordrecht），105-127
[4] 安德森，M。；Feil，T.，格序群。《导论》（1988），D.Reidel出版公司·Zbl 0636.06008号
[5] Bahls，P。；科尔，J。；北卡罗来纳州加拉托斯。；吉普森，P。；Tsinakis，C.，对消剩余格，代数Universalis，50，1，83-106（2003）·Zbl 1092.06012号
[6] Ball，R.N.，格序群的广义正交完备和强投射壳，Canad。数学杂志。，3, 621-661 (1982) ·Zbl 0503.06016号
[7] Bernau，S.J.，阿基米德格群和正规阿基米德格环的独特表示，Proc。伦敦。数学。《社会学杂志》，第15期，第599-631页（1965年）·Zbl 0134.10802号
[8] Bernau，S.J.，任意格群的侧向完成，布尔。阿米尔。数学。Soc.，80，334-336（1974），MR0332612（48#10938）·Zbl 0289.06020号
[9] 哈丁，J。；Bezhanishvili，G.，Heyting代数的MacNeille完备，休斯顿J.数学。，30，第2110243条，pp.（2004），（电子版）·Zbl 1066.06005号
[10] Birkhoff，G.，《格理论》，美国数学学会学术讨论会出版物（1940年），美国数学协会：美国数学学会普罗维登斯，R.I·Zbl 0126.03801号
[11] 布莱尔，R.D.，格序群的SP-hull，Canad。数学杂志。，26, 866-878 (1974) ·Zbl 0298.06021
[12] Bleir，R.D.，格序群的正交完备，Indag。数学。，38, 1-7 (1976) ·Zbl 0329.06013
[13] 布朗特，K。；Tsinakis，C.，《剩余晶格的结构》，国际出版社。代数计算杂志。，13, 4, 437-461 (2003) ·Zbl 1048.06010号
[14] 肉毒杆菌。；Kühr，J。；刘，L。；Tsinakis，C.，《康拉德计划：来自\(ℓ\)-群到逻辑代数，J.代数，450，173-203（2016）·兹比尔1337.06006
[15] Cohn，P.M.，《通用代数、数学及其应用》，第6卷（1981年），D.Reidel出版公司：D.Reidel出版公司，马萨诸塞州多德雷赫特波士顿，MR620952（82j:008001）·Zbl 0141.01002号
[16] Conrad，P.，具有有限个不相交元素的格序群的结构，密歇根数学。J.，7171-180（1960）·Zbl 0103.01501号
[17] Conrad，P.，格序群的一些结构定理，Trans。阿米尔。数学。《社会学杂志》，99，212-240（1961）·兹比尔0099.25401
[18] 康拉德，P.，所有凸的格\(ℓ\)-格序群的子群，捷克斯洛伐克数学。J.，15，101-123（1965）·Zbl 0135.06301号
[19] Conrad，P.，格序群的Lex-子群，捷克斯洛伐克数学。J.，18，86-103（1968）·Zbl 0155.05902号
[20] Conrad，P.，格序群的横向完成，Proc。伦敦。数学。Soc.（3），19，444-480（1969），MR0244125（39#5442）·Zbl 0182.04803号
[21] Conrad，P.，《格序群》。导论，杜兰大学讲稿（1970）·Zbl 0213.31502号
[22] Conrad，P.，《可代表性的船体》\(ℓ\)-群和（f）-环，J.Aust。数学。Soc.，16385-415（1973）·Zbl 0275.06025号
[23] 康拉德，P。；J.哈维。；Holland，C.，格序群的Hahn嵌入定理，Trans。阿米尔。数学。Soc.，108，143-169（1968）·Zbl 0126.05002号
[24] Darnel，M.R.，《格序群理论》（1995），马塞尔·德克尔·Zbl 0810.06016号
[25] Dvurečenskij，A.，伪MV-代数上的状态，Studia Logica，68，301-327（2001）·Zbl 0999.06011号
[26] Dvurečenskij，A.，伪MV-代数是\(ℓ\)-J.Aust。数学。《社会学杂志》，70，427-445（2002）·Zbl 1027.06014号
[27] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：子结构逻辑的代数一瞥》，《逻辑与数学基础研究》（2007），爱思唯尔：爱思唯尔阿姆斯特丹·Zbl 1171.03001号
[28] 北卡罗来纳州加拉托斯。；Tsinakis，C.，广义MV-代数，J.代数，283254-291（2005）·Zbl 1063.06008号
[29] Glass，A.M.W.，部分序群，代数系列（1999），世界科学·Zbl 0933.06010号
[30] Grätzer，G.，《通用代数》（2008），Springer，（平装本）·Zbl 0182.34201号
[31] 吉普森，P。；Tsinakis，C.，《剩余格的调查》（Martinez，Jorge，有序代数结构（2002），Kluwer:Kluwer-Dordrecht），19-56·兹比尔1070.06005
[32] Jónsson，B。；Tsinakis，C.，剩余结构类别的产品，Studia Logica，77，267-292（2004）·Zbl 1072.06003号
[33] Kühr，J.，可表示的对偶剩余格序幺半群，讨论。数学。生成代数应用。，23, 115-123 (2003) ·Zbl 1066.06008号
[34] Kühr，J.，伪BL-代数和DRl-幺半群，数学。波昂。，128, 199-208 (2003) ·Zbl 1024.06005号
[35] 莱达，A。；Paoli，F。；Tsinakis，C.，《逻辑代数的格理论性质》，J.Pure Appl。代数，218，10，1932-1952（2014），MR3195418·Zbl 1323.03096号
[36] McCleary，S.H.，任意格序群的横向完备（重温Bernau的证明），代数普遍性，13，251-263（1981）·Zbl 0427.06007号
[37] 梅特卡夫，G。；Paoli，F。；Tsinakis，C.，《有序代数与逻辑》，（Hosni，H.；Montagna，F.，《不确定性与合理性》，《不确定与理性》，比萨高等学校出版社，第10卷（2010年），1-85
[38] 蒙塔格纳，F。；Tsinakis，C.，具有双核的有序群，J.Pure Appl。代数，214,171-88（2010）·Zbl 1185.06012号
[39] Mundici，D.，《ukasiewicz句子演算中AFC*-代数的解释》，J.Funct。分析。，65, 15-63 (1986) ·Zbl 0597.46059号
[40] Nakano，H.，《现代光谱理论》（1950年），丸赞：丸赞东京·Zbl 0041.23402号
[41] Paoli，F.，《亚结构逻辑，逻辑趋势》，第13卷（2002），Kluwer:Kluwer-Dordrecht·Zbl 1025.03002号
[42] Paoli，F.，*-自治格与模糊集，软计算。，10, 607-617 (2006) ·兹比尔1105.03071
[43] Pinkser，A.G.，扩展半序群和空间，Uchen。赞。列宁格勒·戈斯。佩德。研究所，86，236-365（1949）
[44] Riesz，F.，Surquelques concepts fondamentales dans la theéorie généraledes opeérations linéaires，数学年鉴。，41, 174-206 (1940)
[45] Stone，M.H.，《光谱的一般理论II》，Proc。国家。阿卡德。科学。美国，27，83-87（1941）·兹比尔0063.07209
[46] van Alten，C.J.，可表示双剩余格，J.代数，247672-691（2002）·Zbl 1001.06012号
[47] Veksler，A.I。；Geĭler，V.A.，线性偏序空间的序完备性和不交完备性，Sibirsk。材料Zh。，13、43-51（1972），（俄语），MR0296654（45#5713）·Zbl 0333.06009
[48] Vulich，B.，《部分序空间理论导论》（1967），Wolters-Nuordhoff：Wolters-Noordhoff Groenigen·Zbl 0186.44601号
[49] Wille，A.M.，《残余结构与内卷化》（2006），Shaker Verlag:Shaker Verlag Aachen·Zbl 1124.06011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。