{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,30]]，“日期-时间”：“2022-03-30T19:47:18Z”，“时间戳”：1648669638648}，“参考-计数”：46，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“8”，“许可证”：[{“开始”：{:“日期-零件”：[[2016,6,23]]，”日期-时间“：“2016-06-23T00:00:00Z”，“时间戳”用法：1466640000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,12]]}本文是根据相关指标集的复杂性分析可计算分析中各种问题复杂性的正在进行的程序的一部分。在有效可枚举拓扑空间的框架下，我们研究了以下问题：给定一个有效可枚举的拓扑空间，其所有可计算元素是否存在可计算编号。我们给出了可计算元素的基本邻域族的一个自然充分条件，保证了主可计算数的存在。我们证明了弱有效的\u03c9\u2013连续域和具有离散拓扑的自然数满足这个条件。我们证明了Rice定理对可计算元素的弱类比和强类比。然后，我们构造了偏多数可计算实值函数和共有效闭集的主可计算数，并计算了根验证和函数等式等重要问题的索引集的复杂性。例如，我们证明，对于部分多数可计算实函数，等式问题是\u03a01<\/jats:sup>1<\/jats:sub>-完成<\/jats:p>“，”DOI“：”10.1017\/s0960129516000141“，”type“：”journal-article“，”created“：{”date-parts“：[[2016,6,23]]，”date-time“：”2016-06-23T09:55:53Z“，”timestamp“：14666753000}，”page“：“1466-1494”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“有效可枚举拓扑空间中的可计算元素和函数”]，“前缀”：“10.1017”，“卷“：”27“，”作者“：[{”给定“：”MARGARITA“，”系列“：”KOROVINA“，”序列“：”first“，”affiliation“：[]}，{”给出“：”OLEG“，”家族“：”KUDINOV“，”sequence“：”additional“，”faliation“:[]}]，”member“：”56“，”published-online“：”{“date-parts”：[[2016,6,23]]}“，”reference“：[}”key“：”S09019516000141_ref39“，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1995.1143”}，{“key”：“S0960129516000141_ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2006.08.020”}，{”key“：”S096019516000141_ref26“，”doi-assert-by“：”publisher \/008\/653176“}，{”key“：”S0960129516000141_ref17“，”doi-asserted-by“：“publisher”，“DOI”：“10.1002\/malq.19730191901”}，{“key”：“S096019516000141_ref45”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1215\/S0012-7094-65-03247-3“}”，{”key“：”S090129516000141_ref36“，”volume-title“：”不可解程度“，”author“：”Shoenfield“，”年份“1971”}“，{键”：“SO960129516000141 _ref40“，”DOI-asserted-by“：”publisher“，”DOI“：”10.2307\/2586596“}，{“key”：“S0960129516000141_ref34”，“volume-title”：“递归函数理论和有效可计算性”，“author”：“Rogers”，“year”：“1967”}，{”key“：”S09601926000141_ref30“，”volume-titel“：”构造数学注释“，”author“：”Martin-L\u00f6f“，”year“：”1970“}，”{“密钥”：“SO960129516000141 _ref32”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.200710064”}，{“key”：“S096019516000141_ref43”，“volume-title”：“Schriften zur Angew.Math.u.Informatik”，“author”：“Weihrauch”，“year”：“1980”}、{“key”：”S090129516000141_ref19“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0049-237X（99）80030-5“}“，”doi-asserted-by“：”publisher“，”doi“：“10.4064\/fm-55-3-215-238”}，{“key”：“S096019516000141_ref46”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/S0002-9947-1969-0241295-4”}、{“key”：”S0960129516000141_ref7“，”doi-assert-by“：”publisher serted-by“：”publisher“，”doi“：”10.1007\/3-540-44683-4_20“}，{”key“：“S0960129516000141_ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.2178\/jsl\/1203350796”}，{“key”：“S0960129516000141 _ref13”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/S0304-3975（98）00286-2“}”，{：“10.1090\/trans2\/098\/02”，“文章标题”：“建设性分析中的中值定理”，“卷”：“98”，“作者”：“Ceitin”，“年份”：“1971”，“期刊标题”：“美国数学学会翻译：系列”}，{“键”：“S0960129516000141_ref44”，“doi-asserted-by”：“publisher”，”doi“：“10.2307\/2274268”}）90038-F“}，{“key”：“S0960129516000141_ref38”，“首页”：“103”，“文章标题”：“关于cpo索引集的不可分割性”，“卷”：“171”，“作者”：“Spreen”，“年份”：“1984”，“期刊标题”：《逻辑与机器：决策问题与复杂性，计算机科学讲义》}，}，“key“：”S09601290129516000141 _ref37“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3662-02460-7“}，{“key”：“S0960129516000141_ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511542725”}，}“key”：”S096019516000141_ref8“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/s00153-008-0065-7“}，“doi”：“10.2178\/jsl\/1294170993”}，{“键”：“S0960129516000141_ref41“，”doi asserted by“：”publisher“，”doi“：”10.1016/0304-3975（93）90001-A“}，{“key”：“S0960129516000141_ref35”，“首页”：“1”，“文章标题”：“qcb 0-空间的超投影层次结构”，“volume”：“4”，“author”：“Selivanov”，“year”：“2014”，“期刊标题”：“期刊可计算性”}，{“key”：“S0960129516000141_ref15”，“doi asserted by”：“publisher“，”DOI“：”10.1023\/A:1025971406116“}，{”key“：”S096019516000141_ref1“，”volume-title“：”Computable Structures and the Hyper算术Hierarchy“，”author“：”Ash“，”year“：”2000“}”，{“key”：“S090129516000141_ref28”，”DOI-asserted-by“：”publisher“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1093\/logcom\/exn033“}，{“key”：“S090129516000141_ref16”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.jalgebra.2008.06.007”}，}“key”：“SO960129516000141 _ref18”，“首页”：“455”，“volume-title”：“逻辑座谈会”，“author”：“Ershov”，“年份”：“1977”}6000141_ref23“，”首页“：”1381“，”文章标题“：”基本可计算拓扑，“卷”：“15”，“作者”：“Grubba”，“年份”：“2009”，“日记标题”：“UCS杂志”}，{“关键字”：“S0960129516000141_ref31”，“首页”：“124”，“文章标题”：”Borel structures:A brief survey“，”volume“：”41“，”作者“：”Montalban“，”year“：”2013“，”日记标题“逻辑讲义”}、{“key”：“SO960129516000141 _ref42”，“”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-642-56999-9“}，{“key”：“S096019516000141_ref2”，“doi-assert-by”：“publisher”，“doi”：“10.4064\/fm226-1-4”}，“key“：”S0960129516000141_ref24“，”doi-asserted-by“1_ref5“，”doi-asserted-by“：”publisher“，”doi“：”10.1093\/logcom\/exn027“}，{“key”：“S090129516000141_ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-45220-1_27”}，}“keys”：“SO960129516000141 _ref12”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/S0168-0072（97）00052-3“}”，{“：”publisher“，”doi“：”10.1007\/11494645_30“}，{”key“：”S096019516000141_ref20“，”首页“：”755“，”文章标题“：”高n度和非低n度的光谱“，”卷“：”22“，”作者“：”Frolov“，”年份“：”2012“，”期刊标题“：“理论计算机科学中的电子笔记”}，{“key”：“S0960129516000141_ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/s10469-006-0029-0”}]，“container-title”：[“计算机科学中的数学结构“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129516000141“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,9,22]]，”date-time“2020-09-22T19:39:45Z“，”timestamp“：1600803585000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0960129516000141\/type\/journal_article“}}，“subtittle”：[]，“shorttitle”：[]，“issued”：“{”date-parts“：[[2016,6,23]]}”，“references-count”：46，“journal-issue”：{“issue”：“”8“，”published-print“：{”日期部分“：[[2017,12]}}，”alternative-id“：[”S0960129516000141“]，”URL“：”http://\/dx.doi.org\/101017\/s0960129512600141“，”关系“：{}，“ISSN”：[“0960-1295”，“1469-8072”]，“ISSN-type”：[{“value”：“09601295”，“type”:“print”}，{“value”：”1469-8071“，”type“：”电子“}]，“主题”：[]，“发布”：{“日期部分”：[[2016,6,23]]}}