粘合可剩余格
摘要：概述各种在共同子约减上交叉的剩余格构造的粘贴构造，并且这些构造是结果结构的子代数或合适的子约减。从1-和构造（也称为剩余结构的序和），其中仅在顶部元素相交的代数被粘合在一起开始，我们首先考虑对等同过滤器的粘贴，然后添加一个格理想。我们通过在（可能部分地）作用于（可能部分地）剩余结构的运算符来描述这种构造。作为粘贴构造的特殊示例，我们得到了一些旋转构造的非交换版本，以及一种有趣的二重的半线性剩余格。这项研究还首次尝试了对非交换剩余格的合并研究，通过在V形成中的共同子代数是特殊的（等同）过滤器或过滤器和理想的并集的特殊情况中构建合并物。
作者：Nick Galatos, Sara Ugolini
论文ID：2306.00109
分类：Logic
分类简称：math.LO
提交时间：2023-06-02