量词在部分多态下封闭
摘要：研究满足某些闭包性质的Lindstrom量化器，这些性质是基于在约束满足问题（CSP）的背景下对多项式的研究。当一个有限结构B的多项式代数满足某些方程时，这就引出了对映射同态到B的结构类的自然闭包条件。满足从一组固定方程引出的闭包条件的量化器集合比从CSP中得到的更加一般。对于任何这样的条件P，我们定义了一个阻止无限逻辑的所有满足P-闭包的量化器区分能力的筹码游戏。我们使用这个筹码游戏来证明，决定一个线性方程组在Z2中是否有解的问题不能用满足近乎一致性条件的无限逻辑来表达。
作者：Anuj Dawar and Lauri Hella
论文ID：2308.03695
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-08