相対化算術的階層とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 相対化算術的階層の意味・解説 

相対化算術的階層

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 04:36 UTC 版)

算術的階層」の記事における「相対化算術的階層」の解説

集合 X が 集合 Y に対して再帰的相対性を持つということを、Y を一種神託機械として X を求められることと定義すると、これを算術的階層全体拡張し、Y に対して X が Σ n 0 {\displaystyle \Sigma _{n}^{0}} 、 Δ n 0 {\displaystyle \Delta _{n}^{0}} 、 Π n 0 {\displaystyle \Pi _{n}^{0}} であるということそれぞれ Σ n 0 , Y {\displaystyle \Sigma _{n}^{0,Y}} 、 Δ n 0 , Y {\displaystyle \Delta _{n}^{0,Y}} 、 Π n 0 , Y {\displaystyle \Pi _{n}^{0,Y}} と記述するこのために、整数集合Y を固定しペアノ算術言語に Y のメンバーシップ述語追加する。X が Σ n 0 , Y {\displaystyle \Sigma _{n}^{0,Y}} に属するとは、この拡張され言語書かれた Σ n 0 {\displaystyle \Sigma _{n}^{0}} の式で定義されることを意味する言い換えれば、X が Σ n 0 , Y {\displaystyle \Sigma _{n}^{0,Y}} に属するとは、その中でY に属すかどうか質問許されている Σ n 0 {\displaystyle \Sigma _{n}^{0}} に属す論理式定義されることを意味する例えば、Y を整数集合とする。X は、ある Y の元で割り切れる数の集合とする。すると X は式 ϕ ( n ) = ∃ m ∃ t ( Y ( m ) ∧ m × t = n ) {\displaystyle \phi (n)=\exists m\exists t(Y(m)\land m\times t=n)} で定義されるので、X は Σ 1 0 , Y {\displaystyle \Sigma _{1}^{0,Y}} に属することになる(実際には、2つ量化子を n で制限できるので Δ 0 0 , Y {\displaystyle \Delta _{0}^{0,Y}} に属する)。

※この「相対化算術的階層」の解説は、「算術的階層」の解説の一部です。
「相対化算術的階層」を含む「算術的階層」の記事については、「算術的階層」の概要を参照ください。

ウィキペディア小見出し辞書の「相対化算術的階層」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「相対化算術的階層」の関連用語

相対化算術的階層のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



相対化算術的階層のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの算術的階層 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS