{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,17]]，“日期-时间”：“2023-02-17T16:51:40Z”，“时间戳”：1676652700717}，“参考-计数”：11，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2476，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,6]}”，“abstract”：“”摘要<\/jats:title>我们观察到，W*-层次结构（由Downey、Fellows和Taylor[7]引入）是更著名的W层次结构的变体，它与W层次结构相一致，虽然不是层次结构，但只是一个整体层次结构。更准确地说，我们证明了W[t<\/jats:italic>]\u2286宽*[t<\/jats:italic>]\u2286宽[2t<\/jats:italic>\u2212 2]t<\/jats:italic>\u2265 2。之前就知道W[1<\/jats:italic>]=W*[1]和W[2]=W*[2]<\/jats:p>我们的第二个主要结果是根据\u201cFagin-defined问题对W*-层次结构进行了新的逻辑表征。\u201d作为一个副产品，我们还改进了我们之前在模型检查问题方面对层次结构的描述。此外，我们还得到了类W[3]和W*[3]的新的完全问题<\/jats:p>“，”DOI“：”10.2178\/jsl\/1185803622“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:48Z“，”timestamp“：1198081488000}，”page“：“513-534”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“W*-层次结构分析”]，“前缀”：“10.1017”，“volume”“：”72“，”作者“：[{”给定“：”一家“，”家庭“：”Chen”，“sequence”：“first”，“affiliation”：[]}，{“given”：“J\u00f6rg”，“family”：“Flum”，“serquence”，“additional”：“affidiation”：[]}20000534X_ref005“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-1-4612-0515-9“}，{“key”：“S002248120000534X_ref007”，“first page”：”194“，“volume-title”：“DMTCS’96的组合数学、复杂性和逻辑2013会议录”，“author”：“Downey”，“year”：“1996”}，}“key:”S002248.120000534x_ref011“，”volume-title“：”Die W*-Hierarchie“，”author“：”Landes“，”year“：”2005“}”，{键“：”S002248120000534X_ref010“，”volume-title“：“参数化复杂性理论”，“author”：“Flum”，“year”：“2006”}，{“key”：“S002248120000534X_ref001”，“volume-tite”：“计算系统理论”，”author“：”Buss“}，”{“key”：”S002248212000534X_ref003“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0304-3975（94）00097-3”}“，{”key“：”S022481200005534X_re f004“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0304-3975（97）00101-1“}，{“key”：“S002248120000534X_ref006”，“doi-asserted-by”：“publisher”，”doi“：”10.1090\/dimacs\/039\/07“}”，{”key“：”S002248.120000534x_ref008“，”doi-assert-by“：”publisher“，“doi”：“10.1137\/S009753799360768”}，“key“:”S0022812000534X_ref009“，”doi-asserted-by“：”publisher“，”doi“：”10.2168 \/LMCS-1（1:2）2005“}，{”key“：”S002248120000534X_ref002“，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/S0097539792228228”}]，“container-title”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S00224812000534X”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：”2019-05-01T22:12:40Z“，”timestamp“：1556748760000}，”score“：1，”resource“：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120000534X\/type\/journal_article“}}”，“subtitle”：[]，“shorttitle”：[]，“发布”：{“日期-部分”：[[2007,6]]}，“references-count”：11，“journal-issue”：{“issue”：“2”，“published-print”：{“date-parts”：[[2007,6]]}}，“alternative-id”：[“S002248120000534X”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/1185803622”，“relation”：{}，”ISSN“：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812”，“类型”：“打印”}，{“值”：“1943-5886”，“种类”：“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[2007,6]]}}}