{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,3,7]]，“日期-时间”：“2024-03-07T17:22:58Z”，“时间戳”：1709832178141}，“参考-计数”：22，“出版商”：“牛津大学出版社（OUP）”，“问题”：“4”，“内容-域“：{”域“：[]，“交叉标记限制”：false}，”short-container-ti tle“：[“Journal of Logic and Computation”]，“已出版印刷品”：｛“日期部分”：[[2012,8,1]]｝，“DOI”：“10.1093\/logcom\/exq041”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2010,12,1]]，“日期时间”：“2010-12-01T01:31:06Z”，“时间戳”：1291167066000｝，“页面”：“755-777”，“来源”：“Crossref”，“由计数引用”：16，“标题”：[“高阶和非低阶谱”]，“前缀”：“10.1093”，“卷”：“22”，“作者”：[{“给定”：“A.”，“家族”：“Frolov”，“序列”：“第一”，“从属”：[]}，{“已知”：“I.”，“家庭”：“Kalimullin”，“sequence”：“additional”，“affiliation”：[]}，[given：“V.”，}，{“给定”：“O”，“家族”：“库迪诺夫”、“sequence”：“additional”，“affiliation”：[]}，{“given”：“R.”，“family”：“Miller”，“sequences”：“additional”、“affidiation”：[]}]，“member”：“286”，“published-on-line”：{“date-parts”：[[2010,11,29]]}、“reference”：[{“key”：”1_38085538“，“doi-asserted-by”：”crossref“，”“first page”:“573”，“doi”：“10.1090\/S0002-9947-1990-0955487-0“，”卷“：”319“，”年份“：”1990“，”期刊标题“：“美国数学学会学报”}，{“key”：“3_38744005”，“首页”：“273”，“卷”：“73”，“年份”：“2007年”，“期刊标题”：“伦敦数学学会杂志”，“ISSN”：”http://\/id.crossref.org\/ISSN\/0024-6107“，”ISSN-type“：”print“}，”{“issue”：“3”，”key“：“4_23634393”“，”doi-asserted-by“：”publisher“，”首页“：”641“，”doi“：“10.1112\/S0024610700001459”，“volume”：“62”，“author”：“Coles”，“year”：“2000”，“journal-title”：“journal of London Mathematical Society”，“ISSN”：”http://id.crosref.org\/ISSN\/0024-6107“，”ISSN-type“：”print“}，{“key”:“5_38744006”，“doi-asserted-by”：“crossref”，“first page”：《871》，“doi”：“10.1090\/S0002-993 9-1994-1203984-4“，“卷”：“122”，“年”：“1994”，“journal-title”：“美国数学学会的进程”}，{“key”：“6_38744007”，“first page”：”545“，”volume“：”14“，”year“：”1992“，”journal-title“：”PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY“}，”key“：“7_38113405”，“首页”：“354”，“volume”:“45”，“year”：“2006”，“journal-ttitle”：”ALGEBRA AND LOGIC“}，{“key”：“10_38105418”，“doi-asserted-by”：“crossref”，“first page”：“219”，“DOI”：“10.1016\/j.apal.2005.02.001”，“volume”：”136“，“year”：“2005”，“journal-title”：“ANNALS OF PURE AND APPLIED LOGIC”}，{“key”：：“11_38744008”，“DOI-asserted-by”：“crosxref”、“first page:”324“，”DOI“10.2178\/jsl\/1174668398”，“卷”：“72”，“年份”：“2007”，“journal-title”：“符号逻辑日志”}，{“key”：“12_38744009”，“doi断言者”：“crossref”，“首页”：“3079”，“doi”：“10.1090\/S002-9939-01-059233-8”，“卷”：“129”，“年份”：“2001”，“期刊标题”：“美国数学学会的进展”}，{“密钥”：“13_38744010”，“doi断言者”：“crossref”，“首页”：“71”，“doi”：“10.1016\/S0168-0072（01）00087-2”，“卷”：“115”，“年份”：“2002”，“期刊标题”：“纯逻辑和应用逻辑年鉴”}，{“key”：“15_38744011”，“doi-asserted-by”：“crossref”，“首页”：“39”，“doi”：“10.1016\/0168-0072（91）90038-N”，《卷》：“52”，“年”：“1991”，“期刊标题”：“纯逻辑学年鉴”2007年”，“新闻标题”：“ALGEBRA LOGIKA RUSSIAN”}，{“key”：“17_38744013”，“首页”：“1296”，“卷”：“49”，“年份”：“2008”，“日志标题”：“SIBIRSKII MATEMATICHESKII ZHURNAL RUSSIAN”}，{“key”：“18_38744014”，“doi-asserted-by”：“crossref”，“第一页”：SIAN“}，{”key“：”19_29043268“，”doi-asserted-by“：”crossref“，“首页”：“1034”，“DOI”：“10.2307\/2273915”，“卷”：“51”，“年份”：“1986”，“日记标题”：“符号逻辑杂志”}，{“键”：“20_38104488”，“DOI-asserted-by”：“crossref”，“首页面”：“1605”，“DOI”：”10.2307\/2695066“，”卷“65”，“年”：“2000”，“日志标题”：”符号逻辑杂志“}，{“key”：“21_38744015”，“DOI-asserted-by”：“crossref”，“first page”：“42”，“DOI”：“10.1007”，“volume”：“5”，“year”：“1960”，“journal-title”：“ARCHIV FUR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCH”}，{“key”：”22_38744016“，”DOI-asserted-by“：”crossref“，”first page“：”470“，”DOI“：”10.2307 \/2695025“，”volume“：“66”，“年份”：“2001”，“日记标题”：“journal OF”符号逻辑“}，{“key”：“23_29043269”，“DOI-asserted-by”：“crossref”，“首页”：“723”，“DOI”：“10.2307\/2273222”，“卷”：“46”，“年份”：“1981”，“日志标题”：“符号逻辑日志”}，{“key”：“26_32053933”，“DOI-asserted-by”：“crossref”，“首页面”：“2117”，“DOI”：美国数学学会“}，{“key”：“28_38744017”，“首页”：“3859”，“卷”：“123”，“年份”：“1995”，“journal-title”：“美国数学学会的进程”}，{“key”：“29_32053935”，“doi-asserted-by”：“crossref”，“first-page”：“2131”，“doi”：“10.1090\/S0002-9939-98-04314-7”社会“}]，“集装箱”：[“逻辑与计算杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/acticate.oup.com/logcom\/article-pdf\/22\/4\/755\/6138791\/exq041.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,3,6]]，“date-ports”时间“：”2019-03-06T09:12:08Z“，“timestamp”：1551863528000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/cademicial.oup.com/logcom\/article-lookup\/doi\/10.1093\/logcom\/exq041”}}，”subtittle“：[]，”shorttitle“：[[]，”issued“：{”date-parts“：[[2010,11,29]]}”，“references-count”：22，“journal-issue”：“{”issue:“4”，“published-on”行“：{“date-parts”：[[2012,7,20]]}，“published-print”：{“date-parts”：[[2012,8,1]]}}，“URL”：“http://\/dx.doi.org\/10.1093\/logcom\/exq041”，“relation”：{}，”ISSN“：[”0955-792X“，”1465-363X“]，”ISSN-type“：[{“value”：“0955-792 X”，“type”：”print“}，{“value”：“1465-363”，“type”：“electronic”}]，“subject”：[]，“已发布”：{“日期部分”：[[2010,11,29]]}}