曼弗雷德·施密特·沙乌 结合性和幂等性下的统一是nullary型的。 （英语） 兹比尔062668069 J.汽车。推理 2, 277-281 (1986). 统一是指根据方程理论求解方程。一个重要的问题是为特定的方程理论找到最一般的统一体（解）的代表集。本文证明了包含自由常数的自由幂等半群（带）具有统一类型零。构造了一个示例，使得每个完整的统一器集都包含冗余的统一器。这是已知的第一个具有这种性质的自然方程理论。 引用于17文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 2007年7月20日 半群的簇和伪簇 关键词：定理证明;等式理论;自由幂等半群;乐队;统一类型零 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，J.Autom。推理2277--281（1986；Zbl 0626.68069） 全文： 内政部 参考文献： [1] Fages，F和Huet，G.，“方程理论中的统一器和匹配器的完整集合”，CAAP 83，《代数和编程中的树》（编辑G.Ausiello和M.Protasi），Springer Verlag，LNCS 159，第250–220页，（1983）·Zbl 0545.03003号 [2] Gould，W.E.，{\（\omega\）}顺序逻辑的匹配程序，第4号科学报告，空军剑桥研究实验室。，(1966). [3] Howie，J.M.，《半群理论导论》，学术出版社，（1976年）·Zbl 0355.20056号 [4] Huet，G.，《方程的解析与语言的阶1,2》。。。w、 巴黎大学第七学院（1976年）。 [5] Siekmann，J.H.，《统一》，Proc。第七届CADE，（编辑R.E.Shostak），Springer Verlag LNCS 170，第1-42页，（1984年）。 [6] 西克曼J。和萨博·P。幂等半群的Noetherian和Confluent重写系统论坛第25卷，第83-110页，Springer Verlag New York，（1982）。 [7] Szabó，P.，《一阶统一理论》，（德语，论文）卡尔斯鲁厄大学，1982年·Zbl 0584.68050号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。