MSO+U的弱版本的不可判定性

摘要：将带有第二阶谓词$U\_1(X)$（表示集合$X\subseteq \mathbb{N}$中连续位置之间的距离是无界的）的$omega$-words上的MSO的不可判定性证明。我们通过展示在MSO上添加$U\_1$给出了与满足不可判定性的$omega$-words上的$MSO+U$具有相同表达能力的逻辑。作为一个推论，我们证明了如果允许量化关于最终周期的位置集合（即，存在正整数$p$使得位置$x$和$x+p$要么同时属于集合$X$要么同时不属于集合$X$），那么在$omega$-words上的MSO也变得不可判定。

作者：Miko{l}aj Boja''nczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith

论文ID：1807.08506

分类：Logic in Computer Science

分类简称：cs.LO

提交时间：2023-06-22

PDF 下载： 英文版 中文版pdf翻译中