整体有界可余格序交换幺半群中的一般苹果属性和布尔术语
摘要：积分有界格序交换幺半群(简称有界格序交换幺半群)的方程表示以及满足General Apple Property (GAP)的方程表示呈现在本文中。这个特征可以通过布尔项来表示：当且仅当存在一个一元项$b(x)$满足方程$b(x)或非b(x)约p$和$(x^k与b(x))与(b(x)与k.x)约p$（其中$k>0$），方程$k.x或k.非x约p$在有界格序交换幺半群方程表示中成立。最后，我们证明了如果一个由rls且满足有限性的方程的GAP的方程且其半单的成员形成一个方程，那么这个方程中存在一个同时是布尔和根式的一元项。
作者：Antoni Torrens Torrell
论文ID：2307.02944
分类：Logic
分类简称：math.LO
提交时间：2023-07-11