摘要
K.Weihrauch, 可计算分析:简介 第1版,施普林格出版社,2000年。 谷歌学者 数字图书馆 K.-I.Ko, 实函数的复杂性理论 Birkhäuser,1991年。 谷歌学者 数字图书馆 M.Hoyrup,《不可逆可计算函数》,in STACS公司 ,序列号。 LIPIcs,Ernst W.Mayr和Natacha Portier,编辑,第25卷。 达格斯图尔-莱布尼茨-泽特鲁姆宫,2014年,第362-373页。 谷歌学者 R.G.Downey和G.LaForte,“可计算可枚举实的表示” 西奥。 计算。 科学 2002年,第284卷,第2期,第539-555页。 谷歌学者 数字图书馆 V.Brattka和G.Presser,“度量空间子集的可计算性” 理论计算机科学 ,第305卷,第1-3期,第43-76页,2003年。 谷歌学者 数字图书馆 M.Hoyrup,“遍历分解的可计算性” 纯逻辑与应用逻辑年鉴 ,第164卷,第5期,第542-549页,2013年。 谷歌学者 交叉引用 C.G.Jockusch,“一些高阶定理的简单证明” 加拿大。 数学杂志 第29卷,第1072-1080页,1977年。 谷歌学者 交叉引用 C.G.Jockusch,“半递归集与正可约性” 事务处理。 阿默尔。 数学。 Soc公司 第131卷,第2期,第420-436页,1968年。 谷歌学者 交叉引用 李先生和维塔尼先生, Kolmogorov复杂性及其应用简介 柏林:Springer-Verlag出版社,1993年。 谷歌学者 数字图书馆 R.L.Graham,“关于不同的倒数的有限和 n个 的权力。 " 太平洋数学杂志 1964年,第14卷,第1期,第85-92页。 {在线}。 可用: http://projecteuclid.org/euclid.pjm/1103034365 谷歌学者 交叉引用 M.Hoyrup,“弱可计算对象的泛型” 计算系统理论 第1-25页,2016年。 {在线}。 可用 谷歌学者 数字图书馆 A.Hemmerling,“有效度量空间和实的表示” 西奥。 计算。 科学 ,第284卷,第2期,第347-372页,2002年。 {在线}。 可用 谷歌学者 数字图书馆 K.Weihrauch,“在可计算度量空间上,Tietze-Urysohn扩张是可计算的”,in 第四届国际可计算性和分析复杂性研讨会论文集 ,序列号。 CCA'00年。 英国伦敦:Springer-Verlag,2001年,第357-368页。 {在线}。 可用: http://dl.acm.org/citation.cfm?id=647772.734440 谷歌学者 数字图书馆
建议
单调可计算实数的层次结构及其推广 一个实数 x个 被称为 h-单调可计算 ( 小时 -mc),用于某些功能 小时 :否 → N、 如果有可计算的序列( x个 秒 )有理数收敛到 x个 这样的话 h(n)|x-x n个 |≥|x-x 米 | 为所有人 m>n . x个 被称为 ω-单调。。。