{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,4,11]]，“日期-时间”：“2023-04-11T20:40:42Z”，“时间戳”：1681245642873}，“参考-计数”：3，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{“日期-零件”：[2012,8,14]]，“时间”：“2012-08-14T00:00:00Z”，“timestamp”：134490240000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0”}]，“content-domain”：我们考虑在线性序一阶逻辑的2变量片段中定义的语言类。这个类的许多有趣的特征都是已知的，并且限制量词交替的数量会产生一个无限层次结构，其层次是语言的变体（因此允许代数特征）。使用这种代数方法，我们证明了fO^｛2｝[<]内部的量词交替层次在一个单位内是可判定的。为此，我们将层次结构的每一层与可判定的各种语言联系起来，这些语言可以在迭代确定性和协同确定性产品的中间进行定义。这一过程中的一个关键概念是浓缩rankers，对Weis和Immerman的rankers以及Schwentick、Th’erian和Vollmer的甲鱼语言进行了改进<\/jats:p>“，”DOI“：”10.2168\/lmcs-8（3:11）2012“，”type“：”journal-article“，”created“：{”date-parts“：[[2013,11,29]]，”date-time“：”2013-11-29T08:17:46Z“，”timestamp“：1385713066000}，”source“：“Crossref”，“is-referenced-by-count”：8，“title”：[“在FO^2可定义语言中的逻辑层次结构上”]，“前缀”：“10.46298”，“卷”：“第8卷，第3期“，”作者“：[{”ORCID“：”http://\/ORCID.org\/00000-0003-3869-416X“，”authenticated-ORCID“：false，”给定“：”Manfred“，”family“：”Kufleitner“，”sequence“：”first“，”affiliation“：[]}，{”given“：参考“：[{“key”：“10.2168\/LMCS-8（3:11）2012_1”，“第一页“：”296“，”卷“：”4“，”作者“：”M.Adler和N.Immerman。“，”“year”：“2003”，“journal-title”：“ACM Transactions on ComputationalLogic，4:296\u00963142003”}，{“key”：“10.2168\/LMCS-8（3:11）2012_2”，“doi-asserted-by”：“crossref”，“unstructured”：“J.Almeida.Finite Semigroups and Universal Algebra.World Scientific，Singapore，1994.”，“doi”：“10.1142\/97812831644”}、{“key”：”10.2168\/LMCS-8（3:11“”96“，“卷”：“88”，“作者”：“S.Cho和D.T.Huynh。“，”年“：”1991“，”期刊标题“：”理论计算机科学“}]，”容器标题“：[”计算机科学中的逻辑方法“]，”原文标题“：[]，”语言“：”en“，”链接“：[{”URL“：”https:\/\/lmcs.eposciences.org\/1212\/pdf“，”内容类型“：”application\/ppdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/lmcs.episciences.org\/1212\/pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,4,11]]，”date-time“：“2023-04-11T20:05:59Z”，”timestamp“：1681243559000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\\/lmcs.opisciences/org\/121 2“}}，”副标题“：[]，”short title“：[]，”issued“：{”date-parts“：[[2012,8,14]]}，”references-count“：3，”URL“：”http://\/dx.doi.org\/10.2168\/lmcs-8（3:11）2012“，”relationship“：{is-same-as”：[{“id-type”：“arxiv”，“id”：“1208.0713”，“asserted-by”：“subject”}，{“id type”：“doi”，“id”：“10.48550\/arXi v.1208.0713“，”asserted-by“：”subject“}]}，”ISSN“：[”1860-5974“]，”ISSN-type“：[{”value“：”1860-5.974“，”键入“：”电子“}]，“主题”：[]，“已发布”：{“日期部分”：[[2012,8,14]]}}}