ジャンプに関する性質
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:45 UTC 版)
「チューリング次数」の記事における「ジャンプに関する性質」の解説
全ての次数 a について、a と a′の厳密に中間に位置する次数が存在する。実際に、a と a′の間にある互いに比較不可能な次数の対は可算個存在する。 ある次数 a が b′と書ける必要十分条件は、0′≤ a。 如何なる次数 a についても、次数 b が存在して、a < b かつ b′= a′を満たす。このような次数 b を a から相対的に「低い」と呼ぶ。 全ての i について、 a i + 1 ′ ≤ a i {\displaystyle \mathbf {a} '_{i+1}\leq \mathbf {a} _{i}} を満たすような次数の無限列 ai が存在する。
※この「ジャンプに関する性質」の解説は、「チューリング次数」の解説の一部です。
「ジャンプに関する性質」を含む「チューリング次数」の記事については、「チューリング次数」の概要を参照ください。
ウィキペディア小見出し辞書の「ジャンプに関する性質」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- ジャンプに関する性質のページへのリンク
