（N, <）的 MSO+U 理论是不可判定的

Mikołaj Bojańczyk; Paweł Parys; Szymon Toruńczyk

（N, <）的 MSO+U 理论是不可判定的

计算机科学中的逻辑 2015-02-18 v2

作者: Mikołaj Bojańczyk , Paweł Parys , Szymon Toruńczyk

摘要

我们考虑逻辑 MSO+U，即扩展了非有界量词（unbounding quantifier）的单子二阶逻辑。非有界量词用于表述有限集的某一性质对任意大尺寸的集均成立。我们证明该逻辑在无穷字上是不可判定的，即（N, <）的 MSO+U 理论是不可判定的。这解决了一个关于该逻辑的开问题，并改进了先前使用无穷树和集合论附加公理的不可判定性结果。

关键词

MSO+U 单子二阶逻辑非有界量词不可判定性无穷字线性序

引用

@article{arxiv.1502.04578,
  title  = {The MSO+U theory of (N, <) is undecidable},
  author = {Mikołaj Bojańczyk and Paweł Parys and Szymon Toruńczyk},
  journal= {arXiv preprint arXiv:1502.04578},
  year   = {2015}
}

备注

9 pages, with 2 figures

（N, <）的 MSO+U 理论是不可判定的

摘要

关键词

引用

备注

相关论文