Ng，Keng Meng女士;纳扎宁·塔瓦纳。;杨，岳 实数计算的递归理论基础。 （英语） 兹伯利07423148 J.日志。计算。 第7期第31页，1660-1689（2021）. 摘要：我们使用类似于哥德尔（1931，1934）和克莱恩（1936，数学。安。, 112, 727-742). 我们表明，这类功能也可以用MS-机器来表征，MS-机器是图灵机器类设备。特征的证明给出了一个Kleene（1936，数学。安。, 112, 727-742). 此外，这种特征是两种最有影响力的实数计算理论的自然结合，即有效性的第二类理论（参见，例如Weihrauch（2000，Springer））和Blum-Shub-Smale（1989，牛市。阿默尔。数学。社会（N.S.），21，1-46）计算模型。在这种可计算性概念下，实数的递归（或可计算）子集就是有效的（varDelta^0_2）集。 引用于1文件 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Ng}等人，J.Log。计算。31，第7号，1660--1689（2021；Zbl 07423148） 全文： DOI程序 arXiv公司