{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,6]]，“日期时间”：“2024-04-06T12:40:16Z”，“时间戳”：1712407216850}，“出版商位置”：“柏林，海德堡”，“参考计数”：33，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型”：“打印”}，{“值”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_20”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2011年4月28日]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”187-200“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[”表征二阶广义数量的可定义性fires“]，”前缀“：”10.1007“，“author”：[{“given”：“Juha”，“family”：“Kontine”，“sequence”：“first”，“affiliation”：[]}，{“Givent”：“Jakub”，“家族”：“Szymanik”，“序列”：“additional”，“ffiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：”20_CR1“，”doi-asserted-by“：”crossref“，“首页”：“12”，“doi”：“10.4064\/fm-44-12-36“，”卷“：”44“，”作者“：”A.Mostowski“，”年份“：”1957“，“unstructured”：“Mostowski，A.：量词的泛化。Fund.Math.\u00a044，12\u201336（1957）”，“journal-title”：“Fund.Math.”}，{“key”：“20_CR2”，“doi-asserted-by”：“crossref”，“first page”：”186“，“doi”：“10.1111\/j.1755-2567.1966.tb00600.x”，“volume”：《32》，“author”：“P.Lindstr\u00f6m”，《年份》：“1966”，“非结构化”：“Lindstr\u00f6m，P.：具有广义量词的一阶谓词逻辑。Theoria\u00a032186\u2013195（1966）”，“期刊标题”：“Theoria”}，｛“key”：“20_CR3”，“series title”：“计算机科学讲义”，“首页”：“1”，“卷标题”：“广义量词与计算”，“作者”：“J.V\u00e4\u00e4n\u00e4nen”，“年份”：“2000”，“unstructured”：“V\u00e4\u00e 4n\u00e 4 nen，J.：广义量词，导论。收录于：V\u00 e4\u 00e 4n\u00 e 4nen，J（ed.）ESSLLI 1997。LNCS，第u00a01754卷，第1\u201317页。Springer，Heidelberg（2000）“}，{“key”：“20_CR4”，“volume-title”：“数理逻辑中的透视图”，“author”：“H.D.Ebbinghaus”，“year”：“1999”，“unstructured”：“Ebbinghous，H.D.，Flum，J.：有限模型理论。in:Perspectives in Mathematical Logic，2nd edn.Springer和Heidelbrg语言和逻辑中的量词”，“作者”：“S.Peters”，“年份”：“2006年”，“非结构化”：“Peters，S.，Westerst\u00e5hl，D.：语言和逻辑的量词。Clarendon Press，Oxford（2006）“}，{”key“：”20_CR6“，”series-title“：”SIAM\u2013AMS Proc.“，”first page“：“43”，“volume-title”：“计算的复杂性（Proc.SIAM-AMS Sympos.Appl.Math.，New York，1973）”，“作者”：“R.Fagin”，“年份”：“1974”，“非结构化”：“Fagin，R.：广义一阶谱和多项式时间可识别集。摘自：《计算复杂性》（Proc.SIAM-AMS Sympos.Appl.Math.，纽约，1973）。SIAM\u2013AMS程序。，第u00a0VII卷，第43\u201373页。阿默尔。数学。Soc.，Providence（1974）“}，{”issue“：”3“，”key“：”20_CR7“，”doi-asserted-by“：”publisher“，”first page“：“277”，“doi”：“10.1142\/S0129054198000180”，“volume”：“9”，“author”：“H.J.Burtschick”，“year”：“1998”，“unstructured”：“Burtschik，H.J.，Vollmer，H.：Lindstr\u00f6m量词和叶语言可定义性。国际期刊发现。计算科学.\u00a09（3），277\u2013294（1998）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”issue“：”1-3“，”key“：”20_CR8“，”doi-asserted-by“：”publisher“，”first-page“：”1“，”doi“：”10.1016\/S0168-0072（01）00082-3“，”volume“：“115”，”author“：”A.Andersson“，”year“：”2002“，”unstructured“：”Andersson，A.：关于二阶广义量词和有限结构。Ann.Pure Appl.Logic\u00a0115（1-3），1\u201332（2002）“，”journal-title“：”“安。纯应用程序。逻辑“}，{“key”：“20_CR9”，“unstructured”：“Kontine，J.：二阶广义量词的可定义性。赫尔辛基大学博士论文（2005）”}Kontine，J.：二阶广义量词的定义。架构（architecture）。数学。Logic\u00a049（3），379\u2013398（2010）“，“journal-title”：“Arch。数学。Logic“}，{”issue“：“1”，”key“：“20_CR11”，“doi-asserted-by”：“publisher”，“first page”：“188”，”doi“：“10.2178\/jsl\/1140641168”，“volume”：”71“，”author“：”J.Kontine“，”year“：”2006“，”unstructured“：”Kontine，J.：二阶广义量词的层次定理。J.Symbolic Logic\u00a071（1），188\u2013202（2006）“，”journal-title“：”J。符号逻辑“}，{“issue”：“2”，“key”：“20_CR12”，”doi-asserted-by“：”publisher“，”first page“：”263“，”doi“：”10.1016\/0304-3975（92）90125-Y“，”volume“：“104”，“author”：“D.P.Bovet”，“year”：“1992”，“unstructured”：“Bovet，D.P.，Crescenzi，P.，Silvestri，R.：定义复杂性类的统一方法。Theor.Comput.Sci.\u00a0104（2），263\u2013283（1992）“，”新闻标题“：”Theor。计算。科学。“}，{”key“：”20_CR13“，”首页“：”179“，”volume“：“4”，”author“：”T.Peich“，”year“：”2001“，”unstructured“：”Peichl，T.，Vollmer，H.：具有广义验收标准的有限自动机。离散数学与理论计算机科学\u00a04，179\u2013192（2001）“，”journal-title“：”离散数学和理论计算机科学“}”，{“key”：“”20_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”355“，”doi“：”10.1007\/3-540-44802-0_25“，“volume-title”：”Computer Science Logic“，”author“：”M.Galota“，”year“：”2001“，”unstructured“：”Galota，M.，Vollmer，H.：对B\u00fcchi-Elgot-Trakhtenbrot-theorem的概括。在：Fribourg，L.（编辑）CSL 2001和EACSL 2001。LNCS，第u00a02142卷，第355\u2013368页。Springer，Heidelberg（2001）“}，{”key“：”20_CR15“，”first page“：“834”，“volume”：“5”，“author”：“J.R.B\u00fcchi”，“year”：“1958”，“unstructured”：“B\u00 fcchi，J.R.，Elgot，C.C.：弱二阶算术和有限自动机的决策问题，第一部分。美国数学学会通告\u00a05，834（1958）”，“新闻标题”：“美国数学学会通告“}，{“key”：“20_CR16”，“volume-title”：“Proceedings Logic，Methodology and Philosophy of Sciences 1960”，“author”：“J.R.B\u00fcchi”，“year”：“1962”，“unstructured”：“B\u00 fcchi，J.R.：关于限制二阶算术中的决策方法。in：Proceeding Logic，methodological and Philogy of Science 1960。斯坦福大学出版社，斯坦福（1962）“}，{键”：“20_CR17”，“首页”：“326”，“卷”：“140”，“作者”：“B.A.Trakhtenbrot”，“年份”：“1961”，“非结构化”：“Trakhtenbrat，B.A.：一元谓词的有限自动机和逻辑。Doklady Akademii Nauk SSSR\u00a0140，326\u2013329issue”：“3”，“key”：“20_CR18”，“doi asserted by”：“publisher”，“first page”：“419”，“doi”：“10.1002\/malq.19970430315”，“volume”：“43”，“author”：“M.More”，“year”：“1997”，“nonstructured”：“More，M.，Olive，F.：基础语言和二阶逻辑。数学。逻辑夸脱。\u00a043（3），419\u2013426（1997）“，“期刊标题”：“数学”。逻辑夸脱。“}，{”key“：”20_CR19“，”unstructured“：”Tor\u00e1n，J.：计数层次的结构属性。博士论文，Facultat d\u2019Informatica de Barcelona，Barcelona-，Spaina（1988）“}”，{“issue”：“2”，“key”：“20_CR20”，“doi-asserted-by”：“publisher”，“first page”：”131“，“doi”：“10.1007 \/s10849-007-9055-0”，”volume“：“17”，“author”：“J.Kontine”，“year”“：”2008“，”非结构化”：“Kontine，J.，Szymanik，J.：关于集体量化的评论。《逻辑、语言和信息杂志》\u00a017（2），131\u2013140（2008）“，“期刊标题”：“逻辑、语言与信息杂志”}，{“key”：“20_CR21”，“unstructured”：“Szymanik，J.：时间和空间中的量词。自然语言中广义量词的计算复杂性。阿姆斯特丹大学博士论文（2009）”}、{“key”：”20_CR22“，“卷时间”：“计算机科学研究生文本”，“作者”：“N.Immerman”，“年份”：“1999”，“非结构化”：“Immerman，N.：描述性复杂性。收录：计算机科学研究生文集。Springer，New York（1999）“}，{”issue“：”1“，”key“：”20_CR23“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/0304-3975（76）90061-X”，“volume”：“3”，“author”：“L.J.Stockmeyer”，“year”：“1977”，“unstructured”：“Stockmeyer，L.J.：多项式时间层次结构。Theor.Comput.Sci.\u00a03（1），1\u201322（1977年），“新闻标题”：“Theor.Comput.Sci.”}，{“issue”：“3”，“key”：“20_CR24”，“doi-asserted-by”：“publisher”，“first page”：：“278”，“doi”：“10.1016\/0022-0000（88）90030-X”，“volume”：”36“，“author”：“I.Parberry”，“year”：“1988”，“unstructured”：“Parberry，I.，Schnitger，G.：阈值函数并行计算。J.Compute.System Sci.\u00a036（3），278\u2013302（1988）”，“journal-title”：“J。计算。系统科学。“｝，｛”issue“：“3”，“key”：“20_CR25”，“doi asserted by”：“publisher”，“first page”：“274”，“doi”：“10.1016\/0022-000（90）90022-D”，“volume”：“41”，“author”：“D.A.M.Barrington”，“year”：“1990”，“nonstructured”：“Barrington，D.A.M.，Imerman，N.，Straubing，H.：关于$\\rm NC｝^｛1｝$内的一致性。J.计算。系统科学。\u00a041（3），274\u2013306（1990）“，“期刊标题”：“计算杂志”。系统科学。“}，{”issue“：“1”，”key“：“20_CR26”，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“：”10.1016\/j.ic.2010.09.002“，”volume“：：”209“，”author“：”j.Kontine“，”year“：”2011“，”unstructured“：”Kontine，j.，Niemist\u00f6，H.：MSO的扩展和一元计数层次结构。信息与计算\u00a0209（1），1\u201319（2011）“，“日志标题”：“信息与计算“}，{“key”：“20_CR27”，“doi-asserted-by”：“crossref”，“unstructured”：“Kontine，J.：计数层次结构的逻辑特征。ACM Trans.Comput.Log.10（1）（2009）”，“doi”：“10.1145\/1459010.1459017”}，}“issue”：“1”，“key“：”20_CR28“doi-sserted-by“卷”：“17”，“作者”：“M.L.Furst”，“年份”：“1984”，“非结构化”：“Furst，M.L.，Saxe，J.B.，Sipser，M.：奇偶校验，电路和多项式时间层次。数学。系统理论\u00a017（1），13\u201327（1984）“，“期刊标题”：“数学。系统理论“}，{“问题”：“1”，“关键”：“20_CR29”，“doi-asserted-by”：“出版商”，“首页”：“一”，“doi”：“10.1016\/0168-0072（83）90038-6”，“卷”：“24”，“作者”：“M.Ajtai”，“年份”：“1983”，“非结构化”：“Ajtay，M.:$\\Sigma^{1}_{1} 有限结构上的$-公式。Ann.纯粹应用。逻辑\u00a024（1），1\u201348（1983）“，“期刊标题”：“Ann.Pure Appl。逻辑“}，{“问题”：“2”，“密钥”：“20_CR30”，“doi-asserted-by”：“publisher”，“首页”：“101”，“doi”：“10.1016\/j.jcss.2004.07.004”，“卷”：“70”，“作者”：“D.A.M.Barrington”，“年份”：“2005”，“非结构化”：“Barrington，D.A.M.、Immerman，N.、Lautemann，C.、Schweikardt，N.和Th\u00e9rien，D.：中性字母语言的一阶表达能力或：Crane Beach猜想。J.计算。系统科学。\u00a070（2），101\u2013127（2005）“，“期刊标题”：“计算杂志”。系统科学。“}，{”key“：”20_CR31“，”first page“：“77”，”volume-title“：”Proc.19th Annual ACM Symposium on Theory of Computing“，”author“：”R.Smolensky“，”year“：”1987“，”unstructured“：”Smolenski，R.：“布尔电路复杂性下限理论中的代数方法。摘自：Proc.19st Annual AC M Sympusium on the Theory ofComputing，pp.77\u201382。ACM Press，New York（1987）“}，{“key”：“20_CR32”，“volume-title”：“布尔语义的灵活性原则”，“author”：“Y.Winter”，“year”：“2001”，“unstructured”：“Winter，Y.：布尔语义的柔性原则。麻省理工学院出版社，伦敦（2001）”}，}“issue”：“4”，“key“：”20_CR33“doi-asserted-by”：“publisher”，“first-page”：“695”，“doi”：“10.1016\/S0022-0000（02）00025-9“，“volume”：“65”，“author”：“W.Hesse”，“year”：“2002”，“unstructured”：“Hesse，W.，Allender，E.，Barrington，D.A.M.：除法和迭代乘法的统一恒深阈值电路。J.计算。系统科学。\u00a065（4），695\u2013716（2002）；复杂性专刊（2001）（伊利诺伊州芝加哥）”，“新闻标题”：“J.Compute。系统科学。“}”，“container-title”：[“逻辑、语言、信息和计算”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_20”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2024,4,6]]，“date-time”：“2024-04-06T11:47:38Z”，“timestamp”：1712404058000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-20920-8_20”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2011]}”，“ISBN”：[“9783642209192”，“9783642209208“]，”references-count“：33，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-20920-8_20“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2011】】}}}}