{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2024,9,6]],“日期时间”:“2024-09-06T22:48:22Z”,“时间戳”:1725662902313},“出版商位置”:“柏林,海德堡”,“参考计数”:5,“出版者”:“施普林格-柏林-海德堡“,”isbn-type“:[{”类型“:“打印”,“值”:“979 83540108566“},{”类型“:”电子“,“value”:“9783540387695”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[],”published-print“:{”date-parts“:[[1981]]},”DOI“:”10.1007\/3-540-10856-4_91“,”type“:”book-capter“,”created“:”{“date-part”:[2012,25]],“date-time”:“2012-02-25T17:32:23Z”,“timestamp”“:1330191143000},”页面“:”252-261“,”源“:”交叉引用“,“is-referenced-by-count”:0,“title”:[“可检索性、充足性和忙碌的beaver集”],“前缀”:“10.1007”,“作者”:[{“给定”:“Robert P.”,”family“:”Daley“,”sequence“:”first“,”affiliation“:[]}],“成员”:“297”,“published-online”:{“日期-部分”:[[2005,6,3]]},“引用”:[}“key”:“22_CR1”,“,”首页“:”207“,”doi“:“10.1002\/malq.197880241303”,“volume”:“24”,“author”:“R.Daley”,“year”:“1978”,“nonstructured”:“Daley,R.,关于忙碌的海狸集的简单性,Zeit.f.Math.Logk und Grund.d.Math.\n24(1978),207\u2013224.”,“journal title”:“Zeit.f.Math.Logk und Grund.d.Math.”},{“key”:“22_CR2”,“doi asserted by”:“crossref”,“nonstructured”:“Daley,R.,Busy beaver sets and the degrees of unvavability,Journal of Symbolic Logic,即将出版。”,“DOI”:“10.2307\/2273749”},{“key”:“22_CR3”,“DOI-asserted-by”:“crossref”,“first-pages”:“791”,“DI:”10.1090\/S0002-993939-1954-0063995-6“,”volume“:”5“,”author“J.Dekker”,“year”:“1954”,“unstructured”:“Dekker,J.,超单集上的一个定理,AMS\n5(1954),791\u2013796.”,“journal-title”:“AMS的Proceedings”},{“key”:“22_CR4”,“doi-asserted-by”:“crossref”,“first page”::“513”,“doi”:“10.1017\/S0022481200051598”,“volume”::“Soare,R.,《无限损伤优先方法》,《符号逻辑杂志》第41期(1976年),第513\u2013530页。”,“期刊标题”:“符号逻辑杂志”},{“key”:“22_CR5”,“doi-asserted-by”:“crossref”,“首页”:“331”,“doi”:“10.1002\/malq.19620080313”,“卷”:“8”,“作者”:“C.Yates”,《年份》:“1962”,“非结构化”:“Yates,C.,递归可枚举集和追溯函数,Zeit.f.Math.Logik und Grund.d.Math.n8(1962),331\u2013345.”,“日志标题”:“Zeit.f.Math.Logik und.Grund.d.Math.”}],“容器标题”:[“计算机科学课堂笔记”,“计算机科学数学基础1981”],“原始标题”:[],“链接”:[{“URL”:“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-10856-4_91.pdf”,“内容类型”:“未指定”,“content-version”:“vor”,“intended-application”:“相似性检查”}],“存放”::“http://\/link.springer.com/10.1007\/3-540-10856-4_91”}},“副标题”:[],“短标题”:[],“发布”:{“日期-部件”:[[1981]]},”ISBN“:[”9783540108566“,”978354387695“],“引用计数”:5,“URL”:“http://\\dx.doi.org\/10.1007\/3-540.10856-4_91”,“关系”:{},:[“0302-9743”,“1611-3349”],“ISSN-type”:[{“类型”:“打印”,“值”:“0302-7743”},{“型号”:“电子”,“值”:“1611-3349”}],“主题”:[],“发布”:{“日期部分”:[[1981]}}