罗斯蒂斯拉夫·霍奇克 可表示交换剩余格的极小变种。 （英语） Zbl 1271.08007号 螺柱日志。 100，第6号，1063-1078（2012）. 本文的目的是得到分别用RCRL和ICRL表示的可表示和可积分交换剩余格簇的基数和极小子簇的描述。如果交换剩余格满足（x^{k+1}=x^k），则称为（k）-幂格。证明了RCRL的每个极小子簇都是4元的，并且存在多个连续的极小子簇。另一方面，RCRL只有五个三势极小子变种，ICRL只有两个极小子变型，它们都是由它们的生成器描述的。最后，证明了可表示ICRL的簇是由1-生成的有限元生成的拟簇。因此，解决了N.Galatos、P.Jipsen、T.Kowalski和H.Ono提出的几个公开问题。审核人：伊万·查伊达（Přerov） 理学硕士： 08B15号 品种格 03G25号 与逻辑相关的其他代数 关键词：交换剩余格;最小子簇;\（k\）-有效剩余格;子簇格;最小变化 PDF格式BibTeX公司 XML格式引用 \textit{R.Horík}，研究日志。100，第6号，1063--1078（2012；Zbl 1271.08007） 全文： 内政部 参考文献： [1] Blok W.J.，Ferreirim I.：关于箍筋的结构。《普遍代数》43（2-3），233-257（2000）·Zbl 1012.06016号 ·doi:10.1007/s000120050156 [2] Blok W.J.，van Alten C.J.：剩余格、pocrims和BCK-代数的有限嵌入性。《普遍代数》48（3），253-271（2002）·兹比尔1058.06016 ·doi:10.1007/s000120200000 [3] Galatos N.：剩余晶格的最小变化。《普遍代数》52（2-3），215-239（2004）·Zbl 1082.06011号 ·数字对象标识代码：10.1007/s00012-004-1870-4 [4] Galatos，N.、P.Jipsen、T.Kowalski和H.Ono，《剩余格：亚结构逻辑的代数一瞥》，《逻辑和数学基础研究》第151卷，爱思唯尔出版社，阿姆斯特丹，2007年·兹比尔1171.03001 [5] Jipsen，P.和C.Tsinakis，《剩余格的调查》，J.Martinez（编辑），有序代数结构，Kluwer学术出版社，多德雷赫特，2002年，第19-56页·Zbl 1070.06005号 [6] Montagna F.，Tsinakis C.：具有双核的有序群。《纯粹与应用代数杂志》214（1），71–88（2010）·Zbl 1185.06012号 ·doi:10.1016/j.jpaa.2007.01.019 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。