Ko、Ker-I 关于实数的一些复杂性类的定义。 （英语） Zbl 0529.03016号 数学。系统。理论 16, 95-109 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于27文件 MSC公司： 2015年3月1日 计算复杂性（包括隐式计算复杂性） 03天30分 可计算性和递归理论中的其他度和可约性 03层60 构造性和递归分析 关键词：可计算实数;柯西序列;狄德金分割;二进制展开;可还原性;递归可枚举实数;实数的复界类 PDF格式BibTeX公司 XML格式引用 \textit{K.-I Ko}，数学。系统。理论16，95--109（1983；Zbl 0529.03016） 全文： 内政部 参考文献： [1] R.Book，《计数语言和复杂性类》，《信息与控制》，第26期，第186-183页（1974年）·Zbl 0287.68029号 ·doi:10.1016/S0019-9958（74）90473-2 [2] P.Berman，NP-完全语言的密度和确定性复杂性之间的关系，第五国际学院。自动。Lang.Programming，计算机科学讲义，62，Springer，New York（1978），第63-71页。 [3] A.Grzegorcyzk，《建构性分析的一些方法》，《数学中的建构性》，A.Heyting编辑，北荷兰，阿姆斯特丹（1956），第43–61页。 [4] J.Hartmanis和H.B.Hunt，III，LBA问题及其在计算理论中的重要性，SIAM-AMS Proc。，7, 1–26 (1974). ·兹比尔0301.68056 [5] K.Ko，实函数的计算复杂性和多项式时间近似，俄亥俄州哥伦布俄亥俄州立大学博士论文（1979年）。 [6] K.Ko，最大值问题和NP实数，J.Compute。系统科学。，24, 15–35 (1982). ·Zbl 0481.03038号 ·doi:10.1016/0022-0000（82）90053-8 [7] K.Ko和H.Friedman，实函数的计算复杂性，理论。计算。科学。，20, 323–352 (1982). ·Zbl 0498.03047号 ·doi:10.1016/S0304-3975（82）80003-0 [8] R.Ladner、N.Lynch和A.L.Selman，多项式时间可约性的比较，理论。计算。科学。，1, 103–213 (1975). ·Zbl 0321.68039号 ·doi:10.1016/0304-3975（75）90016-X [9] A.Mostowski，关于可计算序列，基金。数学。，44, 37–51 (1957). ·Zbl 0079.24702号 [10] A.Mostowski，《论不同程度的建构主义，数学中的建构性》，A.Heyting主编，荷兰北部，阿姆斯特丹，（1959年），第178-194页·Zbl 0088.25001号 [11] H.G.Rice，递归实数，Proc。阿默尔。数学。《社会》，5784–791（1954）·Zbl 0058.00602号 ·doi:10.1090/S0002-9939-1954-0063328-5 [12] R.M.Robinson，《R.Peter的书评》，Rekursive Funktitonen，J.Symb。日志。，16, 280–282 (1951). ·doi:10.2307/2267933 [13] H.Rogers，Jr.，《递归函数和有效可计算性理论》，McGraw-Hill，纽约（1967年）·Zbl 0183.01401号 [14] J.I.Seiferas、M.I.Fischer和A.R.Meyer，分离非确定性时间复杂性类，J.Assoc.Compute。机器。，25, 146–167 (1978). ·Zbl 0366.68038号 [15] A.L.Selman，P-选择集，计数语言，以及NP上多项式时间可约性的行为，数学。系统理论，13，55–65（1979）。 ·doi:10.1007/BF01744288 [16] A.L.Selman，关于NP实数和P-选择集的一些观察，J.Comput。系统科学。，23, 326–332 (1981). ·Zbl 0486.03020号 ·doi:10.1016/0022-0000（81）90068-4 [17] E.Specker，Nicht konstruktiv beweisbare Sätze der Analysis，J.Symb。日志。，14, 145–158 (1949). ·Zbl 0033.34102号 ·doi:10.2307/2267043 [18] L.J.斯托克梅耶。多项式时间层次，Theoret。计算。科学。，3, 1–22 (1977). ·Zbl 0353.02024号 ·doi:10.1016/0304-3975（76）90061-X [19] A.M.Turing，《关于可计算数字，以及对Entscheidungs问题的应用》，Proc。伦敦数学。《社会学杂志》，第42期，第430-265页（1937年）·Zbl 0016.09701号 ·doi:10.1112/plms/s2-42.1.230 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。