論理的性質
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:45 UTC 版)
(Simpson, 1977) D {\displaystyle {\mathcal {D}}} の言語{ ⟨ ≤ , = ⟩ {\displaystyle \left\langle \leq ,=\right\rangle } } または { ⟨ ≤ , ′ , = ⟩ {\displaystyle \left\langle \leq ,',=\right\rangle } } を用いた一階理論は真の二階算術に多対一同値。これは D {\displaystyle {\mathcal {D}}} の構造が極端に複雑であることを示している。 (Shore and Slaman, 1999) ジャンプ作用素は次数の一階構造の中で言語 ⟨ ≤ , = ⟩ {\displaystyle \left\langle \leq ,=\right\rangle } を用いて定義可能。
※この「論理的性質」の解説は、「チューリング次数」の解説の一部です。
「論理的性質」を含む「チューリング次数」の記事については、「チューリング次数」の概要を参照ください。
ウィキペディア小見出し辞書の「論理的性質」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 論理的性質のページへのリンク
