×
阿希姆·布卢门塔什;奥利维尔卡顿;托马斯·科尔科姆贝特

渐近一元二阶逻辑。 （英语） 兹伯利1426.03011

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 87-98 (2014).
小结：在本文中，我们介绍了所谓的渐近逻辑，这种逻辑旨在以拓扑的方式推理模型中元素的权重。我们的主要研究对象是无限字上的渐近一元二阶逻辑。这是一个关于用整数标记的\（\omega\）单词的逻辑。它包含完整的一元二阶逻辑，可以表示整数标号的渐近性质。
我们还介绍了该逻辑的几个变体，并研究了它们与逻辑MSO+（\mathbb{U}）的关系。特别是，我们通过研究不同模型的拓扑复杂性来比较它们的表达能力。最后，我们引入了一类等价于渐近一元二阶逻辑弱片段的可满足性问题的分块问题，即仅对有限集的量化约束。
关于整个系列，请参见[Zbl 1294.68016号].

引用于2文件

MSC公司：

03B16号 高阶逻辑
05年3月 与逻辑问题相关的自动机和形式文法
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
\textit{A.Blumensath}等人，Lect。注释计算。科学。8634，87-98（2014；Zbl 1426.03011）
全文： 内政部

参考文献：

[1] Bojañczyk，M.，双向交替自动机的有限图问题，理论。计算。科学。，298, 3, 511-528 (2003) ·Zbl 1052.68069号 ·doi:10.1016/S0304-3975（02）00866-6
[2] Bojańczyk，M.：具有不定界量词的弱MSO。包含：STACS。LIPIcs，第3卷，第159-170页（2009年）·Zbl 1236.68165号
[3] Bojañczyk，M.，Colcombet，T.：ω-正则性的界。收录于：LICS 2006，第285-296页（2006）
[4] Bojañczyk，M.，Gogacz，T.，Michalewski，H.，Skrzypczak，M.:关于无限树上mso+u的可判定性。个人通信·Zbl 1407.03007号
[5] 博扬奇克，M.，托伦奇克，S.：决定论自动机和弱mso的扩展。收录于：FSTTCS，第73-84页（2009年）·Zbl 1248.68285号
[6] 博扬奇克，M.，托伦奇克，S.：无限树上的弱MSO+U。致：STACS（2012）·Zbl 1245.68119号
[7] Büchi，J.R.：关于受限二阶算术中的一种决策方法。摘自：《国际逻辑、方法论和科学哲学大会论文集》，第1-11页。斯坦福大学出版社（1962）·Zbl 0147.25103号
[8] 科尔科姆贝特，T。；阿尔伯斯，S。；Marchetti-Paccamela，A。；马蒂亚斯，Y。；Nikoletseas，S。；Thomas，W.，稳定幺半群和正则代价函数理论，自动机，语言和程序设计，139-150（2009），海德堡：施普林格，海德堡·Zbl 1248.68291号 ·doi:10.1007/978-3-642-02930-11-12
[9] 科尔科姆贝特，T.：正则成本函数，第一部分：单词上的逻辑和代数。计算机科学中的逻辑方法，47（2013）·Zbl 1280.03044号
[10] Colcombet，T.，Löding，C.：有限树上的正则成本函数。收录于：LICS，第70-79页（2010年）
[11] Flum，J.，Ziegler，M.：拓扑模型理论，第769卷。斯普林格（1980）·Zbl 0421.03024号
[12] 古雷维奇，Y。；Shelah，S.，Rabin的均匀化问题，J.Symb。日志。，48, 4, 1105-1119 (1983) ·Zbl 0537.03007号 ·doi:10.2307/2273673
[13] 胡默尔，S。；Skrzypczak，M.，《mso+u和相关自动机模型的拓扑复杂性》，Fundam。通知。，119, 1, 87-111 (2012) ·Zbl 1260.03075号
[14] 拉宾，M.O.，无限树上二阶理论和自动机的可判定性，Trans。阿默尔。数学。《社会学杂志》，141，1-35（1969）·Zbl 0221.02031
[15] 谢拉，S.，《一元秩序理论》，《数学年鉴》。，102, 379-419 (1975) ·Zbl 0345.02034号 ·doi:10.2307/1971037
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。