{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,8,31]]，“日期-时间”：“2023-08-31T17:41:39Z”，“时间戳”：1693503699442}，“参考-计数”：21，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“4”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间“：”2014-03-12T00:00:00Z“，”时间戳“：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2293，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,12]}”，“abstract”：“”摘要<\/jats:title>本文以精确的方式进行了计算。三类可计算结构的索引集的复杂性：类Scott秩结构，班级Scott等级结构的，和班级不可计算Scott秩的所有结构的K<\/jats:italic>。我们证明了这一点I（K）<\/jats:italic>为m<\/jats:italic>-完成是m<\/jats:italic>-完成相对于Kleene的和是m<\/jats:italic>-完成相对于.<\/jats:p>“，”DOI“：”10.2178\/jsl\/1203350796“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,3,25]]，”date-time“：”2008-03-25T18:42:11Z“，”timestamp“：1206470531000}“，”page“：“1418-1432”，“source”：“Crossref”，“is-referenced-by-count”：9，“title”：[“高级结构类的索引集”]，“前缀”：“10.1017“，”卷“：”72“，”作者“：[{”给定“：”W.“，”family“：”Calvert“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“E.”，“family”：“Fokina”，“sequence”：“additional”，“affiliance”：[]{，”given“：”S.S.“，”家庭“：”Goncharov“，”序列“：”additional“，”从属关系“：[]}，“，”family“：”Kudinov“，”sequence“：”additional“，”affiliation“：[]}，{”given“：”A.S.“，”family“：”Morozov“，”sequence“：”additional“，”affiliance“：[]}，”{“given”：“V.”，“family”：”Puzarenko“，“sequence”：“additional”，“affiliational”：[]2]，“member”：“56”，“published-online”：{“date-parts”：[[2014,3,12]}，“reference”：[{“key”：”S0022481200005016_ref020“”，“unstructured”：“”White W.，《可计算结构的特征》，康奈尔大学博士论文，2000年。“}，{”key“：”S0022481200005016_ref017“，”volume-title“：”递归函数和有效计算能力理论“，”author“：”Rogers“，”year“：”1967“}”，{“key”：”S022481200005016_ref015“，”unstructured“：”Millar J.和Sacks G.，《原子模型更高》，预印本。“}，{”key“：”S0022481200005016_ref014“，”first page“：“301”，“volume”：“46”，“author”：“Makkai”，“year”：“1981”，“journal-title”：“有关斯科特高地的示例”}，“key”：”S0.022481200005016_ref012“，”unstructured“：”Knight J。F.，Scott秩的一种可计算结构，其可计算无穷理论在准备中不是\u21350范畴。“}，{”key“：”S0022481200005016_ref011“，”volume-title“：”无限逻辑的模型理论“，”author“：”Keisler“，”year“：”1971“}“，{“key”：”S022481200005016_ref010“，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/S0002-9947-1968-024409-7”}，“key““，”author“：”Goncharov“，”year“：”2004“，”journal-title“：”通过“}”的关系和路径，{“key”：“S0022481200005016_ref007”，“首页”：“283”，“卷”：“71”，“作者”：“Calvert”，“年份”：“2006”，“日志标题”：“Scott等级树和可计算近似性”}，{”key“：”S00224821200005016_ref006“，”doi-asserted-by“：”publisher“，f004“，”非结构化”：“Calvert W.，Goncharov S.S.和Knight J.F.，Scott秩的布尔代数，预印本。”}，{“key”：“S0022481200005016_ref002”，“volume-title”：“可计算结构和超算术层次结构”，“author”：“Ash”，“year”：“2000”}、{“密钥”：“SO0022481250005016_ref016”，“doi-asserted-by”：“publisher”，”“doi”：“10.1016\/0003-4843（74）90017-5“}，{“key”：“S0022481200005016_ref021”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.200310066”}，}“keys”：“SO022481200005016_ref019”，“first page”：”329“，“volume-title”：“theory of models”，“author”：“Scott”，“year”：“1965”}“publisher”，“doi”：“10.1007\/978-3-662-12013-2”}，{“key”：“S0022481200005016_ref005”，“卷标题”：“北德克萨斯州逻辑会议论文集，2004年10月”，“作者”：“卡尔弗特”}，｛“密钥”：“S0022481200005016_ref001”，“doi断言”：“出版商”，“doi”：“10.1016/0168-0072（90）90004-L”｝，｛“密钥”：“S0022481200005016_ref013”，“文章标题”：“等级的可计算结构”，“作者”：“奈特”，“期刊标题”：“数学逻辑杂志“}，{“key”：“S0022481200005016_ref003”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/978-3662-11035-5”}，“key“：”S00224821200005016_ref009“，”doi-assert-by“：”publisher“，”doi:“10.1023\/A:1021758312697”}]，“container-title”：[“符号逻辑杂志”]，“原文标题”：[]，“language”：“en“，”链接“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005016“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,1]]，“date-time”：”2019-05-01T19:42:55Z“timestamp”：1556739775000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005016\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2007,12]]}，”references-count“：21，”journal-issue“：{”issue“：”4“，”published-print“：{”date-parts“：[[2007，12]]}}”，“alternative-id”：[“S0022481120000”5016“]，”URL“：”http:\/\/dx.doi.org\/10.2178\/jsl\/1203350796“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,12]]}}}}