Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;亚当·拉齐翁奇克·西塔;Micha Skrzypczak 关于MSO可定义分支集的Borel复杂性。 （英语） Zbl 1206.03041号 芬丹。通知。 98，第4期，337-349（2010）. 摘要：一个无限的二进制字可以用完整的二进制树中的一个分支来识别。我们考虑可以在树上的一元二阶逻辑中定义的分支集，在树上，我们允许节点上有一些额外的一元谓词。我们证明了这个类等于Cantor间断上Borel类（\pmb\Sigma^0_2）中集合的布尔组合。请注意，最后一个与\（\omega \）正则语言的Borel复杂性相一致。 引用于2文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 03E15年 描述集合论 关键词：无限单词;树;Borel层次结构;自动机;一元二阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}等人，Fundam。通知。98，第4号，337--349（2010；Zbl 1206.03041） 全文： DOI程序