×

有限交换幂等对合剩余格的结构。 (英语) Zbl 07416347号

摘要:我们将交换幂等对合剩余格刻画为布格上布尔代数的不交并。我们使用这种描述来引入一种新的结构,称为粘合,它允许我们从其他成员中构建这种类型的新成员。特别是,所有有限成员都可以用这种方法从布尔代数构造出来。最后,我们应用我们的构造证明了任何有限元的融合约简都是一个分配半格,并证明了这个簇不是局部有限的。

MSC公司:

05年6月 有序半群和幺半群
2015年1月6日 有序的组
03G10年 格和相关结构的逻辑方面
06B15号 格的表示理论
06至75 布尔代数的推广
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 安德森,AR;贝尔纳普,ND Jr,Entailment。第一卷:相关性和必要性的逻辑(1975),普林斯顿,伦敦:普林斯顿大学出版社,普林斯顿大学,伦敦·Zbl 0323.02030号
[2] 查达,I。;哈拉什,R。;Kühr,J.,《半格结构,数学研究与阐述》(2007),Lemgo:Heldermann,Lemgo·Zbl 1117.06001号
[3] Chen,W。;Zhao,X.,幂等剩余链的结构,捷克斯洛伐克。数学。J.,59,134,453-479(2009)·Zbl 1224.06025号 ·doi:10.1007/s10587-009-0031-5
[4] Chen,W。;X.赵。;Guo,X.,锥剩余格序幂等幺半群,半群论坛,79,2,244-278(2009)·Zbl 1185.06010号 ·doi:10.1007/s00233-009-9158-9
[5] Dunn,JM,(R)-mille及其扩展的代数完备性结果,J.Symb。逻辑,35,1-13(1970)·Zbl 0231.02024 ·doi:10.2307/2271149
[6] Frink,O.,布尔代数的表示,布尔。美国数学。《社会学杂志》,第47、10、755-756页(1941年)·Zbl 0061.04804号 ·doi:10.1090/S0002-9904-1941-07554-3
[7] 北卡罗来纳州加拉托斯。;吉普森,P。;科瓦尔斯基,T。;Ono,H.,《剩余格:亚结构逻辑的代数一瞥》(2007),阿姆斯特丹:爱思唯尔出版社·Zbl 1171.03001号
[8] Gil-Férez,J。;吉普森,P。;Metcalfe,G.,幂等剩余格的结构定理,代数大学,81,1-25(2020)·兹比尔1481.06033 ·doi:10.1007/s00012-020-00659-5
[9] Jenei,S.:奇偶对合交换剩余链的群重表示(2020)。arXiv:1910.01404(预打印)
[10] Jenei,S.,一类剩余半群的Hahn嵌入定理,Stud.Log。,108, 1161-1206 (2020) ·Zbl 1484.06060号 ·doi:10.1007/s11225-019-09893-y
[11] McCune,W.:Prover9和Mace4(2005-2010)。网址:http://www.cs.unm.edu/mccune/校准仪9/
[12] Raftery,JG,可表示幂等交换剩余格,Trans。美国数学。Soc.,359,9,4405-4427(2007)·Zbl 1117.03070号 ·doi:10.1090/S0002-9947-07-04235-3
[13] 斯坦诺夫斯克,D.,交换幂等剩余格,捷克斯洛伐克。数学。J.,57,191-200(2007)·Zbl 1174.06332号 ·doi:10.1007/s10587-007-0055-7
[14] Stone,M.H.:分配格的拓扑表示和Brouwer逻辑。Časopis Pro PŞstováníMat.a Fysky 67(1),1-25(1938)。http://eudml.org/doc/27235 ·Zbl 0018.00303号
[15] 沃德,M。;Dilworth,R.,《残余晶格》,Trans。美国数学。《社会学杂志》,45,335-354(1939)·JFM 65.0084.01号 ·doi:10.1090/S0002-9947-1939-1501995-3
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。