{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11]]，“日期-时间”：“2023-01-11T23:19:28Z”，“时间戳”：1673479168294}，“引用-计数”：23，“发布者”：“Elsevier BV”，“问题”：“2-3”，“许可证”：[{“开始”：{:“日期-零件”：[2005,3,1]]，《日期-时间》：“2005-03-03”01T00:00:00Z“，“时间戳”：1109635200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3096，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2005,3]]}，”DOI“：”10.1016\/j.apal.2004.08.001“，”type“：”journal-article“，”created“：{”date-part“：[[2004,10,14]]，”date-time“：”2004-10-14T15:19:00Z“，”timestamp“：1097767140000}“page”：“227-246”，“source”：“Crossref”，“由count引用”：8，“title”：[“可计算实数上的Banach\u2013Mazur可计算但非马尔可夫可计算函数”]，“prefix”：“10.1016”，“volume”：“132”，“author”：[｛”given“：“Peter”，“family”：“Hertling”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛”key“：”10.1016\/j.apal.2004.08.001_b1“，”series title“：“可计算分析”，“作者”：“Aberth”，“年份”：“1980”}，｛“密钥”：“10.1016\/j.apal.2004.08.001_b2”，“第一页”：“223”，“文章标题”：“可计算函数”，“卷”：“16”，“作者”：“Banach”，“年份”：“1937”，“期刊标题”：“Ann.Soc.Pol.de Math.”}，｛“问题”：“1”，“密钥”：“10.1016\/j.apal.2004.08.001_b3”，“第一页”：“1”，“文章标题”：“4-量词完整性：A Banach\u2013Mazur泛函非一致部分递归，Bulletin de l\u2019Academie Polonaise des sciences”，“volume”：“6”，“author”：“Friedberg”，“year”：“1958”，“journal-title”：“S\u00e9rie des sci.math.，astr.et phys.”}，{“key”：”10.1016\/j.apal.2004.08.001_b4“，”doi-asserted-by“交叉引用”，“首页”：“61”，“doi”：“10.4064\/fm-44-1-61-71”，“article-title”：“关于可计算实连续函数的定义”，“volume”：“44”，“author”：“Grzegorczyk”，“year”：“1957”，“journal-title“：”Fund.Math.“}，{“key”：”10.1016\/j.apal.2004.08.001_b5“，”series-title“：“分析中的可计算性和复杂性”，“首页”：“69”，“article-tiple”：“Banach\u2013Mazur computable functions on metric spaces”，“volume”：“vol.2064”，“author”：“Hertling”，“year”：“2001”}，{“key”：”10.1016\/j.apal.2004.08.001_b6“，“series-title”：“实函数复杂性理论，理论计算机科学进展”，“作者”：“Ko”，“年”：“1991”}、{“密钥”：“10.1016\\j.apal.2004.08.001 _b7”，“非结构化”：“G.Kreisel，D。Lacombe，J.Shoenfield，部分递归泛函和有效运算，载于：A.Heyting（Ed.），《数学中的构造性，逻辑研究和数学基础》，Proc。Colloq.，阿姆斯特丹，8月26日\u201331，1957，北霍兰德，阿姆斯特朗，1959，pp.290\u2013297“}，{“key”：“10.1016\/j.apal.2004.08.001_b8”，“非结构化”：“B.A.Kushner，建构分析，收录于：Matematicheskaya Entsiclopedia（数学百科全书），vol.\u00a02，莫斯科，1979，pp.1054\u20131057（俄语）”}，}“key:”10.1016\/j.apal.2004.08.001_b9“，“article-title”：“建构主义数学分析讲座”，“卷”：“第60卷”，“作者”：“Kushner”，“年份”：“1984”}，{“key”：“10.1016\/j.apal.2004.08.001_b10”，“doi-asserted-by”：“crossref”，“首页”：“267”，“doi”：“101016\/S0304-3975（98）00291-6”，“artice-title“：”Markov\u2019s Constructive分析；a参与者\u2019s view“，”volume“：”219“，”author“：”Kushner“，”year“：”1999“，”journal-title“：”Theoret“。计算。科学。“}，{”key“：”10.1016\/j.apal.2004.08.001_b11“，”first page“：“，”文章标题“：”关于构造函数的连续性”，“volume”：“9”，“author”：“Markov”，“year”：“1954”，“journal-title”：“Uspekhi Mat.Nauk（N.S.“，”第一页“：”215“，”DOI“：”10.4064\/fm-55-3215-238“，”article-title“：”递归度量空间“，”volume“：”55“，”author“：”Moschovakis“，”year“：”1964“，”journal-title”：“Fund。数学。“｝，｛”key“：”10.1016\/j.apal.2004.08.001_b15“，”doi断言“：”crossref“，”首页“：”325“，”doi“：”10.1002\/malq.19600061510“，”文章标题“：”五个可计算的\u201d运算符的比较“，”volume“：”6“，”author“：”Pour El“，”year“：”1960“，”期刊标题“：”Z.Math.Log.Gundl.Math.“｝，｛”key“：”10.1016\/j.apal.2004.08.00.00 1_b16“，”系列标题“：”分析和物理中的可计算性，数学逻辑中的透视图”，“doi-asserted-by”：“crossref”，“author”：“Pour-El”，“year”：“1989”，“doi”：“10.1007\/978-3662-21717-7”}，{“key”：“101016\/j.apal.2004.08.001_b17”，“series-title”：“递归函数理论和有效可计算性”10.1016\/j.apal.2004.08.001_b18“，“首页”：“524”，“文章标题”：“公制空间中非连续但非连续构造运算符的示例”，“卷”：“72”，“作者”：“Slisenko”，“年份”：“1964”，《日记标题》：“Tr.Mat.Inst.Steklov”}，{“key”：“10.1016\/j.apal.2004.08.01_b19”，“series-title”：“递归可枚举集和度数，数学逻辑中的透视图”，“作者”：“Soare”，“年份”：“1987”}，{“键”：“10.1016\/j.apal.2004.08.001_b20”，“非结构化”：“G。Tseitin，一般递归函数上算法算子的一致递归性和实变元构造函数的规范表示，in：Proc。第三届全联合数学。国会议员。，莫斯科，1956年，第1卷，伊兹达特。阿卡德。Nauk SSSR，莫斯科，1956年，第188\u2013189页（俄语）“}，{”key“：”10.1016\/j.apal.2004.08.001_b21“，”first page“：“49”，“article-title”：“构造完全可分度量空间中的算法运算符”，“volume”：“128”，“author”：“Tseitin”，“year”：“1959”，“journal-title“：”Dokl.Akad.Nauk“}“：”295“，”article-title“：”构造度量空间中的算法运算符“，”volume“：”67“，”author“：”Tseitin“，”year“：”1962“，”journal-title”：“Tr.Mat.Inst.Steklov”}，{“key”：“10.1016\/j.apal.2004.08.001_b23”，”series-title“：“可计算分析”，“author”：“Weihrauch”，“year”：“2000”}]，”container-title]，“language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0168007204001186？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S0116800720401186？httpAccess=text\/plain”，“content-t”type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：：[]，“已发布”：{“日期部分”：[[2005,3]]}，“references-count“：23，”journal-issue“：{”issue“：“2-3”，“published-print”：{“date-parts”：[[2005,3]]}}，“alternative-id”：[“S0168007204001186”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2004.08.001”，“relation”：{}，”ISSN“：[”0168-0072“]，”ISSN-type“：[{”value“：”0168-20072“，“type”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2005,3]]}}}