凯文·麦克沃伊 准最小枚举度的跳跃。 （英语） Zbl 0595.03043号 J.赛姆布。日志。 50, 839-848 (1985). 如果某个\（a\中的a\）是总函数的图，则e度a是总的。设\（\psi_i（A）=\{x:\）\（\exists u[<x，u>\ in W_i\&D_u\subset A]\}\），\（\chi_A\）表示A的特征函数图。对于任意集A，\（（\deg_eA）'=\deg_ eJ（A）\），其中\（J（A如果（对于所有b）[（b\）总计&\（b\leq A）\至b=0]，则非r.e.e e次A是准最小的如果\（{A_s:\）\（s<\omega\}\）是集合A的\（\Sigma_2\）-近似，则定义\（C^A（x）=\mus_{>x}[A_s\upharpoonright x\subset A]\）。一个集合（A\leq_eJ（\emptyset））是高的，如果它有一个（\Sigma_2\）-近似，其中（C^A\）是总的，并且支配着每个递归函数。如果一个学位包含一个（Sigma_2）高集，那么它是高的。这项工作的一般结果如下：定理5。给定任意总e度（b\geq 0'），存在一个准最小度a，即（a'=b\）。定理7。如果\（A\leq_T\emptyset'\）和\（\emptystet''\leq-TA'\），则\（\deg_TA\）包含\（\Sigma_2\）-高集B，从而\（A\ leq_1B\）。定理8。存在一个跳跃为0“的高准最小度（Sigma_2）。审核人：R.Sh.Omanadze（第比利斯） 引用于24文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 03D25号 递归（可计算）可枚举集和度 关键词：e度;准最小度 PDF格式BibTeX公司 XML格式引用 \textit{K.McEvoy}，J.Symb。日志。50839-848（1985；Zbl 0595.03043） 全文： 内政部 参考文献： [1] 偏度数和密度问题。第2部分：{（\Sigma\）}2集合的枚举度是稠密的49 pp 503–（1984）·兹比尔0574.03027 [2] 不可靠程度：结构与理论759（1979） [3] 最小度和跳跃算子38 pp 249–（1973）·Zbl 0309.02048号 [4] 内政部：10.1016/0003-4843（71）90003-9·Zbl 0223.02046号 ·doi:10.1016/0003-4843（71）90003-9 [5] 内政部：10.2307/1970028·Zbl 0119.25105号 ·数字对象标识代码：10.2307/1970028 [6] 内政部：10.2307/1969604·Zbl 0074.01302号 ·doi:10.307/1969604 [7] 递归可枚举集和度·Zbl 0401.03018号 [8] 无限伤害优先法41第513页–（1976） [9] 内政部：10.1090/S0002-9947-1963-0155747-3·doi:10.1090/S0002-9947-1963-0155747-3 [10] 递归函数和有效计算理论（1967） [11] 数字对象标识码：10.1090/S0002-9939-1961-0125794-X·网址：10.1090/S0002-9939-1961-0125794-X [12] 内政部：10.1090/S0002-9947-1968-0220595-7·doi:10.1090/S0002-9947-1968-0220595-7 [13] Doklady Akademii Nauk SSSR 104第501页–（1955） [14] DOI:10.1002/malq.19590050703·兹伯利0108.00602 ·doi:10.1002/malq.19590050703 [15] 不安全度完整性标准22第159页–（1957） [16] 偏度和密度问题47 pp 854–（1982） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。