Mikołaj博扬奇克;劳雷·达沃;布鲁诺·吉隆;文森特·佩内尔;Sreejith，A.V。 MSO+U弱版本的不确定性。 （英语） Zbl 1528.03172号 日志。方法计算。科学。 16，第1号，第12号论文，第15页（2020年）. 摘要：我们证明了mso公司on\（\omega\）-用二阶谓词扩展的单词U型\（_1（X））表示集合（X\subsetq\mathbb{N}）中连续位置之间的距离是无限的。这是通过添加U型\（1\）至mso公司给出了与mso公司+U型，一个关于\（\omega \）-词的逻辑，具有不可判定的可满足性。作为推论，我们证明了mso公司如果允许对最终周期性的位置集进行量化，即对某些正整数（p\）而言，最终位置（X\）和（X+p\）都属于或不属于（X\），则单词就成为不可判定的。 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 03B16号 高阶逻辑 03B25号 理论和句子集的可决定性 03天35分 成套句子的不可解释性和程度 关键词：MSO逻辑;不可判定性 PDF格式BibTeX公司 XML格式引用 \文本{M.Bojańczyk}等人，日志。方法计算。科学。16，第1号，第12号论文，第15页（2020年；Zbl 1528.03172） 全文： arXiv公司 参考文献： [1] 文斯·巴纳尼（Vince Bárány）、卢卡斯·凯泽（Lukasz Kaiser）和亚历山大·拉比诺维奇（Alexander Rabinovich）。在链上的一元二阶逻辑中表示基数量词。符号逻辑期刊，76（2）：603-6192011·Zbl 1222.03009号 [2] 亚历克西斯·贝斯。算术可定义性综述。比利时数学协会，2002年·Zbl 1013.03071号 [3] 阿奇姆·布卢门萨特（Achim Blumensath）、奥利维尔·卡尔顿（Olivier Carton）和托马斯·科尔科姆贝特（Thomas Colcombet）。渐近一元二阶逻辑。2014年8月25日至29日，在匈牙利布达佩斯举行的2014年计算机科学数学基础第39届国际研讨会，MFCS。《会议记录》，第一部分，第87-98页，2014年·Zbl 1426.03011号 [4] 米科·阿杰·博扬奇克。U.ACM SIGLOG新闻，2（4）：2-152015。 [5] 米科·阿杰·博扬奇克。限定量词。InComputer Science Logic，第18届国际研讨会，CSL 2004，EACSL第13届年会，波兰卡尔帕茨，2004年9月20日至24日，会议记录·邮编1095.03007 [6] Mikołaj Bojan nchyk和Thomas Colcombet。ω-正则性的界。第21届IEEE计算机科学逻辑研讨会（LICS 2006），2006年8月12-15日，美国华盛顿州西雅图，会议记录，第285-296页，2006年·Zbl 1459.68095号 [7] Mikołaj Bojann czyk、Pawel Parys和Szymon Torunn czik。（N，≤）的MSO+U理论是不可判定的。第33届计算机科学理论方面研讨会，2016年2月17日至20日，STACS，2016年，法国奥尔良，第21:1-21:8页·Zbl 1388.03016号 [8] J.R.Büchi。限制二阶算法中的一种决策方法。《逻辑、方法和科学哲学国际会议论文集》，第1-12页，美国加利福尼亚州斯坦福市，1962年。斯坦福大学·Zbl 0147.25103号 [9] Dietrich Kuske、Jiamou Liu和Anastasia Moskvina。具有可判定单子理论的无限和双无限单词。Stephan Kreutzer，编辑，第24届EACSL计算机科学逻辑年会（CSL 2015），《莱布尼茨国际信息学学报》（LIPIcs）第41卷，第472-486页，德国达格斯图尔，2015年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫·Zbl 1434.03102号 [10] 马库斯·洛伊（Markus Lohrey）和乔治·泽采（Georg Zetzsche）。在布尔闭合的全三重奏和有理克里普克框架上。Ernst W.Mayr和Natacha Portier，编辑，第31届计算机科学理论方面国际研讨会（STACS 2014），莱布尼茨国际信息学论文集（LIPIcs）第25卷，第530-541页，德国达格斯图尔，2014年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫·Zbl 1359.68174号 [11] 亨利克·米查列夫斯基（Henryk Michalewski）和马泰奥·米奥（Matteo Mio）。一元二阶逻辑中的量词。国际计算机科学逻辑基础研讨会，第267-282页。施普林格，2016年·Zbl 1476.03049号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。