{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,7,1]]，“日期-时间”：“2022-07-01T17:18:08Z”，“时间戳”：1656695888050}，“引用-计数”：33，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“8”，“许可证”：[{“开始”：{:“日期-零件”：[[2016,6,13]]，”日期-时间“：”2016-06-13T00:00:00Z“，”时间戳“用法：146577600000}，“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]]}重新考虑了连续性问题，即有效给定拓扑空间之间的有效映射是否有效连续的问题。在早期的工作中，如果有效的地图也有不包含的证据，情况总是如此。额外条件没有明显的拓扑解释。如本文所示，在序列连续映射是连续的经典证明中，使用选择公理是很自然的。因此，问题是见证条件是否仅出于这个原因出现在一般连续性定理中，即有效算子是否有效地连续。对于涵盖所有重要应用程序的两大类空间，可以证明情况确实如此。然而，一般性问题仍然悬而未决<\/jats:p>本调查中的空间一般不需要Hausdorff。他们只需要满足弱者T<\/jats:italic>0<\/jats:sub>分隔条件<\/jax:p>“，”DOI“：”10.1017\/s0960129516000190“，”type“：”journal-article“，”created“：{”date-parts“：[[2016,6,13]]，”date-time“：”2016-06-13T10:45:51Z“，”timestamp“：1465814751000}“，”page“：“1601-1624”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“与连续性问题相关的一些结果”]，“前缀“：”10.1017“，”卷“：”27“，”作者“：[{“given”：“DIETER”，“family”：“SPREEN”，“sequence”：“first”，“affiliation”：[]}]，“member”：“56”，“published-online”：{“date-parts”：[[2016,6,13]]}，“reference”：[{key：“S0960129516000190_ref23”，“doi-asserted-by”：”publisher“，“doi”：“10.1016\/0168-0072（95）00067-4”}，{“key”“：”S0960129516000190_ref16“，”首页“：”40“，”文章标题“：”符号系统和递归有序字段”，“卷”：“17”，“作者”：“Moschovakis”，“年份”：“1965”，“新闻标题”：“合成数学”。“}，{”key“：”S0960129516000190_ref21“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/2267043“}“key”：“S096019516000190_rf13”，“unstructured”：“Hoyrup M.（2015）personal communication”}，“key“:”S0901295160000190_ref10“，”首页“：”852“，”article-title“：”Un-controle-example relatif aux fonctionelles r\u00e9cursives“，“卷”：“247”，“作者”：“Friedberg“，“年份”：“1958年”，“新闻标题”：“Comptes rendus hebdomadaires des s\u00e9ances de l'Acad\u00e9 mie des Sciences（Paris）”}，{“key”：“S0960129516000190_ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0168-0072（96）00017-6”}002\/malq.19750210164“}，{”键“：”S0960129516000190_ref11“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511542725“}，{“key”：“S096019516000190_rf17”，“doi-assert-by”：“publisher”，“doi”：“10.1002\/malq.19550010407”}，“key“：”S0901295160000190_ref31“，”首页“：”437“，”卷时间“：”数学课堂笔记“，”作者“：”Spr een“，”year“：”1984“}，{”key“：”S0960129516000190_ref3“，“首页”：“295”，“文章标题”：“构造性度量空间中的算法操作符”，“卷”：“67”，“作者”：“Ce\u012dtin”，“年份”：“1962”，“日志标题”：”Trudy Mat.Inst.Steklov“}，{“key”：“S0901295160000190_ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1006”//inco.1995.1143“}”，{”key“：”S0960129516000190_ref9“，”首页“：”455“，“volume-title”：“逻辑座谈会76”，“author”：“Er\u0161ov”，“year”：“1977”}，{“key”：“S0960129516000190_ref26”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2695099”}、{“密钥”：“SO960129516000190 _ref19”，“volome-title“递归函数理论和有效计算性”，“作者”：“Rogers”，“年份”：“1967”}键“：”S0960129516000190_ref33“，”非结构化”：“Weihrauch K.和Deil T.（1980）。Berechenbarkeit auf cpo’s Schriften zur Angewandten Mathematik und Informatik，63 Rheinisch-Westf\u00e4lische Technische Hochschule Aachen。“}，{”key“：”S0960129516000190_ref15“，”doi-asserted-by“：”crossref“，”first-page“：”215“，”doi“：”10.4064\/fm-55-3215-238“，”article-title“：”递归度量空间“，”volume“：“55”，”author“：”Moschovakis“，”year“：”1964“，”journal-title”：“Fundamental Math.”}，”{“key”：“S0901295160000190_ref14”，“first-page:”290“，”volume-title“：“数学中的建构性”，“author“：”Kreisel“，”year“：”1959“}，{“key”：“S0960129516000190_ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（76）90029-3”}，“{”key“：”S09K1295160000190_ref1“，”doi-assert-by“：”publisher“，”doi“：”10.1017\/CBO9780511983504“}由“：”publisher“，”doi“：”10.2307\/2695087“}，{”key“：”S0960129516000190_ref20”，“第一页”：“95”，“卷标题”：“第十届ACM计算理论年度研讨会”，“作者”：“Sciore”，“年份”：“1978”}，{“key”：“S0960129516000190_ref6”，“第一页”：“367”，“文章标题”：“有限类型的可计算泛函。”，“卷”：“11”，“作者”：“Er\u0161ov”，“年份”：“1972”，“期刊标题”：“Algebra i Logika”}，{“key”：“S0960129516000190_ref18“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3662-21717-7“}，{“key”：“S096019516000190_rf7”，“first page”：”369“，”article-title“：”A空间理论“，”volume“：”12“，”author“：”Er\u0161ov“，”year“：”1973“，”journal-title”：“Algebra i Logika”}，“key“：f4“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/421098“}，{“key”：“S0960129516000190_ref32”，“首页”：“271”，“article-title”：“M\u00e9moire sur la r\u00e9 solution des\u00e 9quations numeriques”，“volume”：”6“，“author”：“Sturm”，“year”：“1835”，“journal-title“Annales de math\u00e_9matiques pures et appliques\u00e9-es”}，}，“key“：”S09012951 6000190_ref12“，”卷时间“：”编程语言的语义”，“作者”：“Gunter”，“year”：“1992”}，{“key”：“S0960129516000190_ref28”，“首页”：“221”，“volume-title”：“Logic Collocium'05”，“author”：“Spreen”，“年份”：“2008”}“：”S0960129516000190_ref24“，”doi-asserted-by“：”publisher“，”DOI“：”10.2307\/2586596“}，{“key”：“S0960129516000190_ref30”，“DOI-asserted-by”：“crossref”，“first page”：”341“，“DOI”：“10.1515\/9781614518044.341”，“article-title”：“部分数的同构定理”，“volume”:“4”，“author”：“Spreen”，“year”：“2014”，“journal-title“：”逻辑，计算，层次结构，Ontos数学逻辑“}，{”键“：”S0960129516000190_ref29“，”doi-asserted-by“：”publisher“，”doi“：”10.2178\/jsl\/1268917496“}]，”container-title“：[”计算机科学中的数学结构“]，”original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0901295126000190”，“content-type”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2022,7,1]]，”date-time“：”2022-07-01T16:43:27Z“，”timestamp“：1656693807000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S090129516000190\/type\/journal_article“}”，”副标题“：[]，”短标题“：[[]，”发布“：{“date-parts”：[[2016,6,13]]}，“references-count”：33，“journal-issue”：{问题：“8”，“published-print”：{-“date-parts”：[[2017,12]}}，”alternative-id“：[”S09601129516000190“]，”URL“：”http://\/dx.doi.org\/101017\/s09601295160001190“，”关系“：{}”，“ISSN”：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”0960-1295“，”type“:”print“}，{”value“：”1469-8072“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2016,6,13]]}}}